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 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-- 2008 , University of Amsterdam