Go to the previous, next section.

Acknowledgments

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.