SICStus Prolog
Developer(s) | Swedish Institute of Computer Science |
---|---|
Initial release | 1988[1] |
Stable release |
4.3.2
/ May 19, 2015[2] |
Written in | C[3] |
Operating system | Cross-platform |
Available in | English |
Type | Logic programming |
License | Proprietary |
Website | SICStus Prolog |
SICStus is an ISO conforming Prolog system.
References
- ↑ Vitor Santas Costa. "The Life of a Logic Programming System". Logic Programming: 24th International Conference. ISBN 3540899812.
- ↑ "SICStus Prolog home page". SICStus Prolog. Swedish Institute of Computer Science. Retrieved 22 April 2016.
- ↑ Henrik Nässén (March 2001). "Optimizing the SICStus Prolog virtual machine instruction set". SICS Technical Reports. ISSN 1100-3154.
Further reading
- SICStus Prolog User's Manual, Mats Carlsson, et al. Swedish Institute of Computer Science. Release 4.3.2 May 2015.
- 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.5640v1.
This article is issued from Wikipedia - version of the 4/22/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.