SICStus Prolog

From Wikipedia, the free encyclopedia
Jump to: navigation, search
SICStus Prolog
Initial release 1988[1]
Stable release 4.3.0 / May 13, 2014; 6 months ago (2014-05-13)
Written in C[2]
Operating system Cross-platform
Available in English
Type Logic programming
License Proprietary
Website SICStus Prolog

SICStus is an ISO conforming Prolog system.

References[edit]

  1. ^ Vitor Santas Costa. "The Life of a Logic Programming System". Logic Programming: 24th International Conference. ISBN 3540899812. 
  2. ^ 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.2.1 February 2012
  • 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. "SICStus Prolog—the first 25 years". Swedish Institute of Computer Science.  (to appear in Theory and Practice of Logic Programming (TPLP))