SICStus
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.
Keywords for this software
References in zbMATH (referenced in 61 articles )
Showing results 1 to 20 of 61.
Sorted by year (- Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico: Implementing type theory in higher order constraint logic programming (2019)
- Drabent, Włodzimierz: Logic + control: on program construction and verification (2018)
- Balduccini, Marcello; Lierler, Yuliya: Constraint answer set solver \textscezcspand why integration schemas matter (2017)
- Le, Tiep; Son, Tran Cao; Pontelli, Enrico; Yeoh, William: Solving distributed constraint optimization problems using logic programming (2017)
- Lierler, Yuliya; Susman, Benjamin: On relation between constraint answer set programming and satisfiability modulo theories (2017)
- Rusu, Irena: Graph matching problems and the NP-hardness of sortedness constraints (2017)
- Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut: Using finite transducers for describing and synthesising structural time-series constraints (2016)
- Morales, José F.; Carro, Manuel; Hermenegildo, Manuel: Description and optimization of abstract machines in a dialect of Prolog (2016)
- Triska, Markus: The Boolean constraint solver of SWI-prolog (system description) (2016)
- Behjati, Razieh; Nejati, Shiva: Efficient architecture-level configuration of large-scale embedded software systems (2015) ioport
- Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas: Synchronized sweep algorithms for scalable scheduling constraints (2015)
- Mesnard, Fred; Payet, Étienne; Vidal, Germán: Concolic testing in logic programming (2015)
- Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: \textscTor: modular search with hookable disjunction (2014)
- Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin: On matrices, automata, and double counting in constraint programming (2013)
- Carlsson, Mats; Mildner, Per: SICStus Prolog -- the first 25 years (2012)
- Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís: The YAP prolog system (2012)
- Lopes, Ricardo; Costa, Vítor Santos; Silva, Fernando: A design and implementation of the extended Andorra model (2012)
- Tarau, Paul: The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (2012)
- Cheng, Kenil C. K.; Yap, Roland H. C.: An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (2010)
- Balduccini, Marcello: Representing constraint satisfaction problems in answer set programming (2009)