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 52 articles )

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

1 2 3 next

  1. Rusu, Irena: Graph matching problems and the NP-hardness of sortedness constraints (2017)
  2. Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut: Using finite transducers for describing and synthesising structural time-series constraints (2016)
  3. Triska, Markus: The Boolean constraint solver of SWI-prolog (system description) (2016)
  4. Behjati, Razieh; Nejati, Shiva: Efficient architecture-level configuration of large-scale embedded software systems (2015)
  5. Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas: Synchronized sweep algorithms for scalable scheduling constraints (2015)
  6. Schrijvers, Tom; Demoen, Bart; Triska, Markus; Desouter, Benoit: Tor: modular search with hookable disjunction (2014)
  7. Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin: On matrices, automata, and double counting in constraint programming (2013)
  8. Carlsson, Mats; Mildner, Per: SICStus Prolog -- the first 25 years (2012)
  9. Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís: The YAP prolog system (2012)
  10. Lopes, Ricardo; Costa, Vítor Santos; Silva, Fernando: A design and implementation of the extended Andorra model (2012)
  11. Tarau, Paul: The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines (2012)
  12. 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)
  13. Fages, François; Martin, Julien: From rules to constraint programs with the Rules2CP modelling language (2009)
  14. Gras, Daniel Cabeza; Hermenegildo, Manuel V.: Non-strict independence-based program parallelization using sharing and freeness information (2009)
  15. Beldiceanu, Nicolas; Carlsson, Mats; Thiel, Sven: Sweep synchronization as a global propagation mechanism (2006)
  16. Casas, Amadeo; Cabeza, Daniel; Hermenegildo, Manuel V.: A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems (2006)
  17. Cheng, Kenil C.K.; Yap, Roland H.C.: Applying ad-hoc global constraints with the case constraint to still-life (2006)
  18. Sakellariou, Ilias; Vlahavas, Ioannis; Futo, Ivan; Pasztor, Zoltan; Szeredi, Janos: Communicating sequential processes for distributed constraint satisfaction (2006) ioport
  19. Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry: Reformulation of global constraints based on constraints checkers (2005)
  20. Beldiceanu, Nicolas; Carlsson, Mats; Rampon, Jean-Xavier; Truchet, Charlotte: Graph invariants as necessary conditions for global constraints (2005)

1 2 3 next