SWI-Prolog 3.2.0 Reference Manual
Jan Wielemaker
Dept. of Social Science Informatics (SWI)
Roeterstraat 15, 1018 WB Amsterdam
The Netherlands
Tel. (+31) 20 5256121
|
SWI-Prolog is a Prolog implementation based on a subset of the WAM
(Warren Abstract Machine Warren,
1983). SWI-Prolog has been designed and implemented such that
it can easily be modified for experiments with logic programming and the
relation between logic programming and other programming paradigms (such
as the object oriented XPCE environment Anjewierden &
Wielemaker, 1989). SWI-Prolog has a rich set of built-in
predicates and reasonable performance, which makes it possible to
develop substantial applications in it. The current version offers a
module system, garbage collection and an interface to the C language.
This document gives an overview of the features, system limits and built-in predicates. |
This manual is written and maintained using LaTeX . The LaTeX source
is included in the
source-distribution
of SWI-Prolog. The manual is converted into HTML using a converter
distributed with the SWI-Prolog sources. From the same source we
generate the plain-text version and index used by the online help system
(located in the file MANUAL in the library directory) as
well as the PostScript and PDF versions versions available from
ftp://swi.psy.uva.nl/pub/SWI-Prolog/refman/.
Copyright © 1990-- 1999 , University of Amsterdam