SWI-Prolog documentation overview

Browsing the manual on the web

Accessing the manual with Prolog

The reference manual for SWI-Prolog can also be accessed from Prolog. This version is compiled with Prolog and thus reflects the running version, where the other documentation mentioned here generally refers to the latest version.

The relevant commands are:

?- help.
Explain the help-system briefly.
?- help(Topic).
Show help-page on topic.
?- apropos(String).
Show all topics holding `String' in their summary documentation.

When using XPCE, these predicates start a GUI-based manual tool with hypertext capabilities.

Package documentation is available from the Help menu of the GUI help browser (all platforms with XPCE) as well as the plwin console (Windows). It is installed in the doc subfolder of the installation.

Unix manpages

On Unix installations, the manpages pl.1, plld.1 and plrc.1 provide documentation on the command-line options for these commands.

Printable and downloadable formats

The only document (by us) about SWI-Prolog is the SWI-Prolog reference manual. It is written in LaTeX and converted to various formats. The manual may be downloaded in HTML or PDF format. A plain-text version is in the file MANUAL in the Prolog library. The LaTeX sources are part of the source-distribution.

Home This page is maintained using the chpp macro language