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 are discrepencies between SICStus Prolog and the versions of Prolog given here. In particular, the public-domain implementations may not be compliant with the International Standard.Warning: if you develop your program using a Prolog other than SICStus Prolog and your program does not also run correctly under SICStus Prolog, your work will be marked as incorrect!
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.
There is also an IDE similar to the SPIDER IDE: Prolog Development Tools - ProDT.