Written in C and Prolog, the implementation is based on the Warren Abstract Machine (WAM). The programming environment has benefitted from public domain code contributed principally by R.A. O'Keefe and D.H.D. Warren. An execution profiling package was written by M.M. Gorlick and C.F. Kesselman at the Aerospace Corporation.
Future releases will incorporate the MUSE approach to or-parallel execution. The MIXTUS partial evaluator is available as a separate package. Further information about portability, features of SICStus Prolog 2.1, and pre-release information about SICStus Prolog 3 can be found elsewhere.
Licenses are available both for non-commercial use in research and education only, and for commercial use.
Send bug reports and technical questions to sicstus-bug@sics.se. Bugs tend actually to be fixed if they can be isolated, so it is in your interest to report them in such a way that they can be easily reproduced.
The mailing list sicstus-users@sics.se is a moderated channel for communication among users and implementors. To [un]subscribe, write to sicstus-users-request@sics.se.
Karen Appleby, Mats Carlsson, Seif Haridi, and Dan Sahlin. Garbage collection for Prolog based on WAM. Communications of the ACM, 31(6):719-740, June 1988.
Kent Boortz. SICStus maskinkodskompilering. SICS Technical Report T91:13, Swedish Institute of Computer Science, August 1991. In Swedish. ( PostScript)
M. Carlsson. Freeze, indexing, and other implementation issues in the WAM. In Jean-Louis Lassez, editor, ICLP'87, International Conference on Logic Programming, MIT Press Series in Logic Programming, pages 40-58, Melbourne, 1987. The MIT Press.
Mats Carlsson. Design and Implementation of an OR-Parallel Prolog Engine. SICS Dissertation Series 02, The Royal Institute of Technology, Stockholm, Stockholm, Sweden, May 1990.
Mats Carlsson and Dan Sahlin. Variable shunting for the WAM. In J.W. Mills, editor, NACLP'90 Post-conference Workshop on Logic Programming Architectures and Implementations, 1990. Also available as SICS Research Report R91:07.
Mats Carlsson. Boolean constraints in SICStus Prolog. SICS Research Report T91:09, Swedish Institute of Computer Science, 1991. (PostScript)
Mats Carlsson. The SICStus emulator. SICS Technical Report T91:15, Swedish Institute of Computer Science, 1991.
Nils Hagner and Ingvar Olsson. Aspects and experiences of MIS and SICStus Prolog. SICS Technical Report T91:10, Swedish Institute of Computer Science, 1991.
Nils Hagner and Anders Tunevi. Implementing case-based reasoning in SICStus Prolog. SICS Research Report T91:16, Swedish Institute of Computer Science, 1991.
R.C. Haygood. Native code compilation in SICStus Prolog. In Proceedings of the Eleventh International Conference of Logic Programming, MIT Press Series in Logic Programming, 1994.
Hans Nilsson. The external storage facility in SICStus Prolog. SICS Research Report R91:13, Swedish Institute of Computer Science, 1991.
Dan Sahlin. Finding the least fixed point using wait-declarations in Prolog. In P. Deransart and J. Maluszynski, editors, PLILP'90, International Symposium on Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 151-158, Linköping, August 1990. Springer-Verlag.
Dan Sahlin. The Mixtus approach to automatic partial evaluation of full Prolog. In Saumya Debray and Manuel Hermenegildo, editors, NACLP'90, North American Conference on Logic Programming, MIT Press Series in Logic Programming, pages 377-398, Austin, 1990. ALP, The MIT Press.
Dan Sahlin. An Automatic Partial Evaluator for Full Prolog. SICS Dissertation Series 04, The Royal Institute of Technology (KTH), Stockholm, Sweden, May 1991. ( PostScript)
Dan Sahlin. Determinacy analysis for full Prolog. In ACM/IFIP Symposium on Partial Evaluation and Semantics Based Program Manipulation. ACM Press, 1991.
Thomas Sjöland. Using SICStus Objects in the Design of Graphical User Interfaces. In L. Fahlén and K.-M. Jää-Aro, editors, Proceedings of the 5th MultiG Workshop, Royal Institute of Technology, Stockholm, 1992. Also available as SICS Research Report R92:10.