![$\textstyle \parbox{\textwidth}{%
\makebox[\textwidth]{%
\UvA{1in}%
\hfill \r...
...The Netherlands \\
Tel. (+31) 20 5252073
\end{center}}}
\hfill \SWI{1in}}
}$](img1.png)
SWI-Prolog 1.6
Reference Manual
Jan Wielemaker
jan@swi.psy.uva.nl
Reference Manual
Jan Wielemaker
jan@swi.psy.uva.nl
SWI-Prolog is a WAM (Warren Abstract Machine, [#!Warren:83b!#]) based implementation of Prolog. SWI-Prolog has been designed and implemented such that it can easily be modified for experiments with logic programming and the relation between logic programming and other programming paradigms (such as the object oriented PCE environment, [#!P1098:C1.6!#]). SWI-Prolog has a rich set of built-in predicates and reasonable performance, which makes it possible to develop substantial applications in it. The current version offers a module system, garbage collection and an interface to the C language.