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 all top 5 Cited in 27 Serials 13 Constraints 13 Theory and Practice of Logic Programming 6 The Journal of Logic Programming 4 New Generation Computing 3 Theoretical Computer Science 3 Computers & Operations Research 3 Annals of Mathematics and Artificial Intelligence 2 Artificial Intelligence 2 Annals of Operations Research 1 Information Sciences 1 International Journal for Numerical Methods in Engineering 1 Software. Practice & Experience 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 International Journal of Parallel Programming 1 Information and Computation 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 PU.M.A. Pure Mathematics and Applications 1 International Transactions in Operational Research 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science all top 5 Cited in 11 Fields 82 Computer science (68-XX) 13 Operations research, mathematical programming (90-XX) 5 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 2 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year