Prolog Installation

Work with Prolog for this course will utilize SWI Prolog

If you are using Linux or Mac OS X:

1. After clicking on SWI Prolog link, click "DOWNLOAD (SWI Prolog)" and the "Stable release" version.

2. Choose SWI-Prolog 8.0.3-1 for your operating system.

3. If you use Mac OS X, add the following lines to your .profile file (in your home directory):

     # set up for SWI-Prolog--allow command-line command:  SWI-Prolog
     export PATH="/Applications/SWI-Prolog.app/Contents/MacOS:$PATH"
     # allow command-line command:  prolog
     alias prolog='SWI-Prolog'
     

   This environment requires both xquartz (X11) and the Developer Tools (Xcode) installed for running the development tools.

   In a Mac OS X terminal window, launch a prolog window using the command-lone command: prolog

4. When you are done with your Prolog session, in the SWI Prolog window, type one of the following:

   • halt.
   • Control D

If you are using Windows

5. Try downloading SWI Prolog, using a Windows environment.

6. If you have trouble with this installation, consider using a VirtualBox and umbutu environment, running under windows.

   Directions may be found at recommendations by Paul Monaghan

Reminder

When working within a Prolog environment, remember that all Prolog statements end with a period (.) !
If you forget the period at the end of a Prolog statement, SWI Prolog will continue to interpret your typing as a continuation of previous text.

created December 2019-January 2020 revised December 27, 2019 revised February 7, 2020
For more information, please contact Henry M. Walker at walker@cs.grinnell.edu.