The following people have contributed to the development of SICStus Prolog:
Jonas Almgren, Johan Andersson, Stefan Andersson, Kent Boortz, Per Brand, Göran Båge, Mats Carlsson, Jesper Eskilson, Lena Flood, Seif Haridi, Ralph Haygood, Christian Holzbaur, Key Hyckenberg, Hans Nilsson, Mats Nylén, Greger Ottosson, Dan Sahlin, Thomas Sjöland, Johan Widén, and Emil Åström.
The OR-parallel execution model and parallelization of SICStus Prolog are due to
Khayri A.M. Ali and Roland Karlsson
The Industrialization of SICStus Prolog (1988-1991) was funded by
Ericsson Telecom AB, NobelTech Systems AB, Infologics AB and Televerket under the National Swedish Information Technology Program IT4.
The development of release 3 (1991-1995) was funded in part by
Ellemtel Utvecklings AB
This manual is based on DECsystem-10 Prolog User's Manual by
D.L. Bowen, L. Byrd, F.C.N. Pereira, L.M. Pereira, D.H.D. Warren
The Visandor visualization tool was developed at the Technical University of Madrid, and its inclusion into this distribution was kindly permitted by Manuel Hermenegildo.
See section Constraint Logic Programming over Rationals or Reals, for acknowledgments relevant to the clp(Q,R) constraint solver.
See section Constraint Logic Programming over Finite Domains, for acknowledgments relevant to the clp(FD) constraint solver.
Quintus and Quintus Prolog are trademarks of Quintus Computer Systems, Inc. UNIX is a trademark of Bell Laboratories. DEC is a trademark of Digital Equipment Corporation. Intel is a trademark of Intel Corp. Microsoft and Windows are trademarks of Microsoft Corp. OS/2 is a trademark of IBM Corp. Macintosh is a trademark of Apple Computer, Inc.
Go to the first, previous, next, last section, table of contents.