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.


References in zbMATH (referenced in 106 articles )

Showing results 1 to 20 of 106.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico: Implementing type theory in higher order constraint logic programming (2019)
  2. Drabent, Włodzimierz: Logic + control: on program construction and verification (2018)
  3. Balduccini, Marcello; Lierler, Yuliya: Constraint answer set solver \textscezcspand why integration schemas matter (2017)
  4. Le, Tiep; Son, Tran Cao; Pontelli, Enrico; Yeoh, William: Solving distributed constraint optimization problems using logic programming (2017)
  5. Lierler, Yuliya; Susman, Benjamin: On relation between constraint answer set programming and satisfiability modulo theories (2017)
  6. Rusu, Irena: Graph matching problems and the NP-hardness of sortedness constraints (2017)
  7. Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut: Using finite transducers for describing and synthesising structural time-series constraints (2016)
  8. Morales, José F.; Carro, Manuel; Hermenegildo, Manuel: Description and optimization of abstract machines in a dialect of Prolog (2016)
  9. Triska, Markus: The Boolean constraint solver of SWI-prolog (system description) (2016)
  10. Turliuc, Calin Rares; Dickens, Luke; Russo, Alessandra; Broda, Krysia: Probabilistic abductive logic programming using Dirichlet priors (2016)
  11. Behjati, Razieh; Nejati, Shiva: Efficient architecture-level configuration of large-scale embedded software systems (2015) ioport
  12. Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas: Synchronized sweep algorithms for scalable scheduling constraints (2015)
  13. Mesnard, Fred; Payet, Étienne; Vidal, Germán: Concolic testing in logic programming (2015)
  14. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: \textscTor: modular search with hookable disjunction (2014)
  15. Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin: On matrices, automata, and double counting in constraint programming (2013)
  16. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: Search combinators (2013)
  17. Schulte, Christian; Tack, Guido: View-based propagator derivation (2013)
  18. Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu: Solving constraint satisfaction problems with SAT modulo theories (2012)
  19. Carlsson, Mats; Mildner, Per: SICStus Prolog -- the first 25 years (2012)
  20. Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís: The YAP prolog system (2012)

1 2 3 4 5 6 next