1 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 compiling, 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 both on the machines in the elab in the Language Centre and on the university’s Windows network. (Information about how to get your own copy is provided at the end of this documentation.)