Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Debian packaging for swi-prolog
C Prolog TeX Java Shell C++ Other

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
ReleaseNotes Imported Upstream version 5.10.4
bench Imported Upstream version 5.10.4
boot Imported Upstream version 5.10.4
debian Install sgml package into swi-prolog-nox. Thanks to Sami Kiviharju <s…
demo Imported Upstream version 5.10.4
dotfiles
gen-files Imported Upstream version 5.10.4
library Imported Upstream version 5.10.4
man Imported Upstream version 5.10.4
packages Imported Upstream version 5.10.4
scripts Imported Upstream version 5.10.4
src Imported Upstream version 5.10.4
.cvsignore Imported Upstream version 5.10.4
.fileheader Imported Upstream version 5.10.4
.gitignore Imported Upstream version 5.10.4
.gitmodules Imported Upstream version 5.10.4
COPYING Imported Upstream version 5.10.4
INSTALL Imported Upstream version 5.10.4
Makefile.in Imported Upstream version 5.10.4
README Imported Upstream version 5.10.4
README.MacOSX Imported Upstream version 5.10.4
README.cygwin Imported Upstream version 5.10.4
README.doc Imported Upstream version 5.10.4
README.git Imported Upstream version 5.10.4
README.gmp Imported Upstream version 5.10.4
README.linux Imported Upstream version 5.10.4
README.windows Imported Upstream version 5.10.4
VERSION Imported Upstream version 5.10.4
build.templ Imported Upstream version 5.10.4
configure Imported Upstream version 5.10.4
prepare Imported Upstream version 5.10.4
swipl.home Imported Upstream version 5.10.4

README

		    SWI-Prolog Distribution Directory

** Last update: Jan 27, 2011 (Version 5.11.14)

AUTHOR
======
			Jan Wielemaker

	HCS (Formery SWI)		Web and Media
	University of Amsterdam		VU University Amsterdam
	Kruislaan 419			De Boelelaan 1081a
	1098 VA  Amsterdam		1081 HV Amsterdam
			The Netherlands
			E-mail: jan@swi-prolog.org

A list of contributors can be found at

	http://www.swi-prolog.org/Contributors.html


WEB-HOME
========

Please find the up-to-date information on  SWI-Prolog at the link below.
You will find the latest sources (also   accessible through GIT), a FAQ,
mailinglist archive, various additional packages, etc.

	http://www.swi-prolog.org


DOCUMENTATION
=============

Documentation is available  on-line  using   the  help/1  and  apropos/1
commands. HTML and PDF versions of  the   manual  are available from the
SWI-Prolog download page. The add-on  packages   are  documented  in the
doc/packages directory of the installed system.  Many people opt for the
online manual at the address below.  This manual includes autocompletion
to simplify searching:

	http://www.swi-prolog.org/pldoc/index.html

If you cannot reach the internet you   can  install the website locally.
The website source is in the git plweb.git:

	% git clone git://www.swi-prolog.org/home/pl/git/plweb.git

The web-server software is SWI-Prolog itself  (this requires many of the
default packages installed). After downloading do:

	% cd plweb
	% swipl -s load.pl
	?- server.

This starts the server at its default port: 3040.
Something went wrong with that request. Please try again.