Many students learning with this material have found it useful to work through the examples on their own computer. Fortunately, this is not expensive because there are some public domain Prologs available for a variety of systems.
This software is offered without support and no guarantees are made about the working and reliability of the software. No responsibility is accepted for the consequences of using the software. All software is supplied in the belief that it is in the public-domain.
The software listed here is not necessarily ISO-compliant. It is a requirement that assessed work is tested on the School's current SICStus Prolog implementation. There may small or large discrepencies between SICStus Prolog and the versions of Prolog given here.
There are several public-domain implementations. Students generally find SWI Prolog the most suitable, not least because it also includes the constraint programming languages CLP(FD) and CHR.
Download from www.swi-prolog.org.