This directory contains the SWI-Prolog 4.0 reference manual.

Last updated: Dec  4 2001 for version 4.0.11

The reference manual is available in four formats:

	# refman.pdf
	Adobe's Portable Document Format version, created using
	pdflatex. You can read this using acroread, xpdf, recent
	versions of ghostview (gsview, gv) or any other pdf-1.2 capable
	viewer. You can also print PDF files using these tools.

	# HTMLmanual.tar.gz
	Packed form of:
	http://www.swi.psy.uva.nl/projects/SWI-Prolog/Manual/

There is nothing in this manual that  is   not  in  the online manual as
well. The ASCII sources for the   online  manual live in library/MANUAL,
which is generated using TeX and  dvi2tty   from  the same source as the
above manuals. The file library/helpidx.pl  contains   the  index to the
manual and is generated  by  parsing   MANUAL  with  the  Prolog program
man/plindex.pl

The LaTeX sources of the documentation are distributed with the sources.