-
SWI-Prolog
Description
SWI-Prolog is a Free Software implementation of the Prolog logic programming language. It is widely used in research and education, as well as for commercial applications. The version used in this course is SWI-Prolog 6.6.2.
Usage
SWI-Prolog is used as a back-end for some of the model manipulation tools listed on this website (e.g. MACH, MQ-2). Students are not required to possess a background in logical programming. Detailed Prolog instructions will be provided whenever necessary.
-
Installation
Windows and OS X
SWi-Prolog 6.6.2 installations kits for Windows and OS X are readily available (see Download section).
Unix/Linux
Unix/Linux users must compile SWI-Prolog 6.6.2 from the souce code (see instructions here
) or install it via the package manager of their Unix/Linux distribution. Most Linux distributions provide SWI-Prolog in their package manager.
-
Download
The binary distribution and source code of SWI-Prolog 6.6.2 can be downloaded from the official website. SWI-Prolog is Free Software.