Go to the previous, next section.
The following people have contributed to the development of SICStus Prolog:
Jonas Almgren, Johan Andersson, Stefan Andersson, Kent Boortz, Per Brand, G{@oe}ran B{@aa}ge, Mats Carlsson, Lena Flood, Seif Haridi, Ralph Haygood, Christian Holzbaur, Hans Nilsson, Mats Nyl{@ee}n, Dan Sahlin, Thomas Sj{@oe}land, and Johan Wid{@ee}n
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.
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.
Go to the previous, next section.