Go to the first, previous, next, last section, table of contents.

Acknowledgments

The following people have contributed to the development of SICStus Prolog:

Jonas Almgren, Johan Andersson, Stefan Andersson, Kent Boortz, Per
rand, G{@oe}ran B{@aa}ge, Mats Carlsson, Jesper Eskilson, Lena Flood,
Seif Haridi, Ralph Haygood, Christian Holzbaur, Key Hyckenberg, Hans
Nilsson, Mats Nyl{@ee}n, Greger Ottosson, 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.

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.