How To Download Prolog On Mac

Windows and Mac:

Yes, you can use any text editor, incl. Once you have written a Prolog source file, say,, you can load it into SWI-Prolog like so: swipl -s This will compile your file and take you to an interactive shell where you can then ask queries against the definitions in your file. SWI-Prolog offers a comprehensive Free Software Prolog environment, which features fast compilation, robust and free of memory leaks, unbounded integer.

  1. Jdk 8 mac os x download. Download SWI-Prolog.

    • Windows: We recommend downloading the 64-bit edition!
  2. Install SWI-Prolog by following the installer instructions.

Super mario bros x mac download. Linux (Ubuntu):

  1. Add the ppa ppa:swi-prolog/stable to your system’s software sources:

    • Open a terminal (Ctrl+Alt+T) and type:
      sudo add-apt-repository ppa:swi-prolog/stable

    • Afterwards, update the package information:
      sudo apt-get update

  2. Install SWI-Prolog through the package manager:

    • Open a terminal (Ctrl+Alt+T) and type:
      sudo apt-get install swi-prolog

Quick start (Linux):

  1. Write a prolog program as a text file with a .pl ending. For example,
  2. Open a terminal (Ctrl+Alt+T) and navigate to the directory where you stored your program.
  3. Open SWI-Prolog by invoking swipl.
  4. In SWI-Prolog, type [program] to load the program, i.e. the file name in brackets, but without the ending.
  5. In order to query the loaded program, type goals and watch the output.
  6. Alternatively, you can also load the program by passing its name as a parameter to SWI-Prolog: swipl -s
  7. To exit SWI-Prolog, type halt..

Prolog Software Download

For more Getting started advice, please refer to the SWI-Prolog Tutorials.