SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications.

SWI-Prolog version 10.0 The SWI-Prolog 10.0 is the latest stable release. Highlights: Native GUI tools for Linux (Wayland or X11), MacOS (Cocoa) and Windows (Win32) based on SDL3, Cairo and Pango.

Using the GIT repository is recommended if you want to stay up to date and expecially if you plan to develop C/C++ resources for SWI-Prolog. See the build instructions.

I've made my first steps at Prolog and want to start a real project. Start with a local installation for your platform. Familiarise yourself with the SWI-Prolog toplevel and the IDE tools such as the GUI …

SWISH can display Prolog results as tables, charts and anything supported by HTML5 and JavaScript. SWISH notebooks provide functionality inspired by Jupyter/IPython notebook.

The table below provides access to the most recent 7 daily builds of SWI-Prolog for Windows. The build is done automatically from the GIT sources. The files use the following naming convention: swipl-w64 …

SWI-Prolog is a versatile implementation of the Prolog language. Although SWI-Prolog gained its popularity primarily in education, its development is mostly driven by the needs for application …

This manual is intended for people that are familiar with Prolog. For those not familiar with Prolog, we recommend to start with a Prolog textbook such as Bratko, 1986, Sterling & Shapiro, 1986 or …

Many active SWI-Prolog users track the development releases or GIT versions for developing Prolog applications. Most of the time the development versions are fairly stable.

Many active SWI-Prolog users track the development releases or GIT versions for developing Prolog applications. Most of the time the development versions are fairly stable.