Running a Prolog program

Running a Prolog program involves

1. creating a file containing the program

2. saving the file

3. loading the file into Prolog (called consulting, or reconsulting, the file in Prolog jargon)

4. finally, calling some goal defined in the program

The version of Prolog we will be using is one which runs on a variety of different platforms and is called SWI-Prolog. At York, it is accessible on the university's Windows network. (Information about how to get your own copy is provided at the end of this documentation.)