SWI-Prolog: A comprehensive Prolog implementation

Web home

Please find the up-to-date information on SWI-Prolog at http://www.swi-prolog.org.

Documentation is available from several locations and in several formats.

Paper format can be ordered as print on demand and is available as PDF from the download page.
Several tutorials can be accessed from the Tutorials menu on the home page
A HTML version of the documentation is in the doc/Manual directory of the installation. Note that some packagers put this documentation elsewhere or require it to be installed seperately.

You can also install the website locally to use its richness if you are offline. It is available from https://github.com/SWI-Prolog/plweb.

Name		Name	Last commit message	Last commit date
Latest commit History 23,585 Commits
ReleaseNotes		ReleaseNotes
bench @ e37db0f		bench @ e37db0f
boot		boot
customize		customize
debian @ edf8607		debian @ edf8607
demo		demo
gen-files		gen-files
library		library
man		man
packages		packages
scripts		scripts
src		src
.clang-format		.clang-format
.fileheader		.fileheader
.gitignore		.gitignore
.gitmodules		.gitmodules
INSTALL		INSTALL
LICENSE		LICENSE
Makefile.in		Makefile.in
README.md		README.md
README.mingw		README.mingw
VERSION		VERSION
build.templ		build.templ
configure		configure
prepare		prepare
swipl.home		swipl.home