SWI-Prolog 3.2.9 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 PDF version. Sources, binaries
and documentation can be downloaded from the SWi-Prolog
download page.
The SWI-Prolog project home page is located here
Copyright © 1990-- 1999 , University of Amsterdam