The SWI Prolog Console

Before we can solve problems in Prolog, we’ll need to install the Prolog console and learn to navigate it. We’ll be working with SWI Prolog. This implementation was built by Jan Wielemaker. SWI comes from the name of a University of Amsterdam group: Sociaal-Wetenschappelijke Informatica. The English translation is “Social Science Informatics.”

This open source Prolog implementation has binaries that run on Windows, OS X, and several Unix dialects. It’s one of the most broadly used Prolog implementations today. Follow the installation instructions.[1]

After working with a couple of languages that don’t have first-class consoles, you may be pleased to learn that we’ll be doing much of our work in consoles that allow us to ...

Get Programmer Passport: Prolog now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.