Contents Index Summary Next

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.

About this document

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