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, …

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.

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

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 …

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 …

Command line editing in a system console as well as in the Prolog terminals is done by BSD libedit, providing uniform behaviour on all platforms. 32-bit platforms now use 64-bit Prolog …

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.

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 …