×

SICStus

swMATH ID: 12440
Software Authors: Mats Carlsson, Per Mildner
Description: SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect camps and a fledgling standardization effort. We reflect on the impact of this effort and role model implementations on our development. After summarizing the development history, we give a guided tour of the system anatomy, exposing some designs that were not published before. We give an overview of our new interactive development environment, and describe a sample of key applications. Finally, we try to identify key good and not so good design decisions.
Homepage: https://sicstus.sics.se/
Related Software: SWI-Prolog; Prolog; Ciao; XSB; Oz; CPLEX; B-Prolog; Gecode; YAP-Prolog; CiaoPP; Mercury; MiniZinc; ProB; CSPLib; ML; Smodels; Zinc; CHIP; Choco; cc(FD)
Cited in: 91 Publications
all top 5

Cited by 170 Authors

8 Carlsson, Mats
7 Beldiceanu, Nicolas
5 Hermenegildo, Manuel V.
4 Santos Costa, Vítor
3 Cabeza, Daniel
3 Leuschel, Michael
2 Ali, Khayri A. M.
2 Balduccini, Marcello
2 Carravilla, Maria Antónia
2 Cheng, Kenil C. K.
2 Debray, Saumya K.
2 del Vado Vírseda, Rafael
2 Dixon, Clare
2 Fages, François
2 Frisch, Alan M.
2 Hnich, Brahim
2 Howe, Jacob M.
2 Karlsson, Roland
2 King, Andy
2 Kiziltan, Zeynep
2 Lierler, Yuliya
2 Miguel, Ian
2 Petit, Thierry
2 Pontelli, Enrico
2 Ribeiro, Cristina
2 Rocha, Ricardo
2 Rodríguez-Artalejo, Mario
2 Schrijvers, Tom
2 Schulte, Christian
2 Silva, Fernando
2 Stuckey, Peter James
2 Tack, Guido
2 Triska, Markus
2 Walsh, Toby
2 Yap, Roland H. C.
1 Albert, Elvira
1 Almendros-Jiménez, Jesús Manuel
1 Ásványi, Tibor
1 Azevedo, Francisco
1 Bagnara, Roberto
1 Barringer, Howard
1 Becerra-Terón, Antonio
1 Becket, Ralph
1 Bendisposto, Jens
1 Bergenti, Federico
1 Bigot, Peter A.
1 Bofill, Miquel
1 Bortolussi, Luca
1 Boye, Johan
1 Broda, Krysia B.
1 Carlier, Jacques G.
1 Carro, Manuel
1 Casas, Amadeo
1 Christiansen, Henning
1 Ciancarini, Paolo
1 Ciarlini, Angelo E. M.
1 Clautiaux, François
1 Conway, Thomas Oliver
1 Correia, Manuel Eduardo
1 Cortesi, Agostino
1 Cui, Baoqiu
1 Dal Palù, Alessandro
1 Damas, Luís
1 De Bosschere, Koen
1 Debruyne, Romuald
1 Demoen, Bart
1 Desouter, Benoit
1 Dickens, Luke
1 Dore, Nenna
1 Douence, Rémi
1 Drabent, Włodzimierz
1 Dunkelau, Jannik
1 Estévez-Martín, Sonia
1 Etalle, Sandro
1 Fernández, Antonio J.
1 Fischer, Julien
1 Flener, Pierre
1 Formisano, Andrea
1 Fromherz, Markus P. J.
1 Furtado, Antonio L.
1 Geleßus, David
1 Gelfond, Michael
1 Gómez-Zamalloa, Miguel
1 Gori, Roberta
1 Gras, Daniel Cabeza
1 Gudeman, David
1 Guidi, Ferruccio
1 Gupta, Gopal K.
1 Henderson, Fergus
1 Hill, Patricia M.
1 Holzbaur, Christian
1 Hortalá-González, Teresa
1 Ioakimidis, Nikolaos Ioakim
1 Jacquet, Jean-Marie
1 Jouglet, Antoine
1 Körner, Philipp
1 Krings, Sebastian
1 Lal, Akash
1 Lamma, Evelina
1 Larson, James S.
...and 70 more Authors

Citations by Year