TDDD08 Logic Programming

Prolog systems

Public domain Prolog systems

There are a large number of public domain/free Prolog systems around that can be used to solve most of the laboratory exercises on various platforms. However for the last exercise (using finite domain constraints) we recommend sticking to Sicstus Prolog which is the system officially supported in the course.

Lists of available Prolog systems can be found on the web. A recommended one is SWI Prolog. Note however that since version 7 they deviated from standard Prolog syntax. In particular, "." denotes something else. For the standard syntax, run SWI with argument --traditional (see here, we have not tested this yet).

Another systems, untested by us, are Ciao, GNU Prolog, and B-Prolog. Some of these also have support for (finite domain) constraints, but only B-Prolog seem to support (a variant of) the cummulative constraint which is recommended for solving the last lab exercise. ECLiPSe is another Prolog-based constraint programming system with advanced support for constraint programming including a cumulative constraint.

The following may be obsolete.
SWI Prolog and GNU Prolog have been installed at IDA. To use SWI Prolog run the commands:

module add misc/student-after
module add student/swi-prolog

Similarly for GNU Prolog:

module add misc/student-after
module add student/gprolog

These installations are not actively supported by IDA staff. For questions please contact student-admin@und.ida.liu.se

Page responsible: Victor Lagerkvist
Last updated: 2016-08-21