Running a Prolog program involves
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.)