SICStus Prolog

From Wikipedia, the free encyclopedia
Jump to: navigation, search
SICStus Prolog
Developer(s) Swedish Institute of Computer Science
Initial release 1988[1]
Stable release
4.3.5 / 8 December 2016; 13 months ago (2016-12-08)[2]
Written in C[3]
Available in English
Type Logic programming
License Proprietary

SICStus is an ISO conforming Prolog system.


  1. ^ Vitor Santas Costa. "The Life of a Logic Programming System". Logic Programming: 24th International Conference. ISBN 3540899812. 
  2. ^ "SICStus Prolog home page". SICStus Prolog. Swedish Institute of Computer Science. Retrieved 6 January 2017. 
  3. ^ Henrik Nässén (March 2001). "Optimizing the SICStus Prolog virtual machine instruction set". SICS Technical Reports. ISSN 1100-3154. 

Further reading[edit]

  • SICStus Prolog User's Manual, Mats Carlsson, et al. Swedish Institute of Computer Science. Release 4.3.5 December 2016.
  • Haygood, Ralph Clarke (1994). "Native code compilation in SICStus Prolog". In van Hentenryck, Pascal. Proceedings of the Eleventh International Conference of Logic Programming. MIT Press Series in Logic Programming. Cambridge, MA: MIT Press. ISBN 0-262-72022-1. 
  • Jesper Eskilson; Mats Carlsson (1998). "SICStus MT—A multithreaded execution environment for SICStus Prolog". Principles of Declarative Programming. Lecture Notes in Computer Science. 1490. pp. 36–53. doi:10.1007/BFb0056606. 
  • Mats Carlsson; Per Mildner (2012). "SICStus Prolog—the first 25 years". Theory and Practice of Logic Programming (TPLP). Cambridge University Press. 12 (Special Issue 1-2): 35–66. arXiv:1011.5640v1Freely accessible.