SWI-Prolog is compliant to part one of ISO standard Prolog. In addition it provides functionality compatible to Quintus, SICStus, LPA, Ciao and many more.
Since version 5 the system and all bundled extensions are distributed under the Lesser General Public License (LGPL) and the system enjoys attention from a large community of academic researchers, students and commercial users.
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
in the library directory) as well as the PDF version. Sources, binaries
and documentation can be downloaded from the SWI-Prolog
The SWI-Prolog project home page is located here
Copyright © 1990-- 2008 , University of Amsterdam