SWI-Prolog version 8. The SWI-Prolog 8.0 major release marks mostly a milestone for the internals, stability, deployment options and maintainability of the system. SWI-Prolog extensions and incompatibilities wrt. Traditional Prolog are described in extensions.
Windows and Mac:
Download SWI-Prolog.
Windows: We recommend downloading the 64-bit edition!
Install SWI-Prolog by following the installer instructions.
Visual Prolog is a powerful and type safe high level programming language combining the very best features of logical, functional and object-oriented programming paradigms in a consistent and elegant way. With Visual Prolog you can build applications for the Microsoft Windows 32/64 platforms. IDE in any download of Eclipse. Prolog + Logic Server + IDE Install Instructions Amzi! Prolog + Logic Server. Prolog + Logic Server: 32-bit Windows: HTTP 9MB: amziaplswin3210-0-05.zip: Amzi! Prolog + Logic Server: 64-bit Windows: HTTP 10MB: amziaplswin6410-0-07.zip: Amzi! Prolog + Logic Server: 64-bit Mac OS X: HTTP 5MB: amzi.
Linux (Ubuntu):
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
Install SWI-Prolog through the package manager:
Open a terminal (Ctrl+Alt+T) and type: sudo apt-get install swi-prolog
Quick start (Linux):
Write a prolog program as a text file with a .pl ending. For example, program.pl.
Open a terminal (Ctrl+Alt+T) and navigate to the directory where you stored your program.
Open SWI-Prolog by invoking swipl.
In SWI-Prolog, type [program] to load the program, i.e. the file name in brackets, but without the ending.
In order to query the loaded program, type goals and watch the output.
Alternatively, you can also load the program by passing its name as a parameter to SWI-Prolog: swipl -s program.pl.
To exit SWI-Prolog, type halt..
Download Prolog For Windows 10
For more Getting started advice, please refer to the SWI-Prolog Tutorials.