TDDD08 Logic Programming

Prolog systems

Public domain Prolog systems

There are a large number of open source 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 SWI-Prolog which is the system officially supported in the course.

Some alternative Prolog systems include Scryer Prolog, YAP-Prolog, and Tau Prolog. SICStus Prolog is a good commercial implementation with a fast finite-domain constraint solver, and used to be the official Prolog system of the course.

Page responsible: Victor Lagerkvist
Last updated: 2024-08-30