›ÿÿ
SWI-Prolog is designed in the `Edinburgh tradition'. In addition to the ISO Prolog standard it is largely compatible to Quintus, SICStus and YAP Prolog. SWI-Prolog provides a compatibility framework developed in cooperation with YAP and instantiated for YAP, SICStus and IF/Prolog.
SWI-Prolog aims at providing a good development environment, including extensive editor support, graphical source-level debugger, autoloading and `make' facility and much more. SWI-Prolog editor and the PDT plugin for Eclipse provide alternative environments.
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 PDF version. Sources, binaries and documentation can be downloaded from the SWI-Prolog download page.
The SWI-Prolog project home page is http://www.swi-prolog.org
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/3.0/ or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA.