Search results
SWI-Prolog 9.2.7-1 for Microsoft Windows (32 bit) Self-installing executable for Microsoft Windows 32-bit editions. Version 9.3 is that last version of SWI-Prolog that is also released for 32-bit.
- 64 Bit
Windows antivirus software works using signatures and...
- Download Binary
Windows antivirus software works using signatures and...
- Show All Files
SWI-Prolog downloads. Linux versions are often available as...
- 64 Bit
Available download channels. The development version is released roughly every two to four weeks. It is typically robust, provides the latest features and possible issues are resolved quickly. This is the recommended version for most users. The stable release is infrequently updated.
SWI-Prolog downloads. Linux versions are often available as a package for your distribution. We collect information about available packages and issues for building on specific distros here. We provide a PPA for Ubuntu and snap images. Android binaries are available for Termux as the package swi-prolog.
SWI-Prolog is an open source (BSD-2) implementation of the Prolog language with many extensions. It is implemented in C (version 11) and Prolog and is available for many platforms (Linux, practically any POSIX like system, MacOS, Windows). All CPUs supported by Debian Linux are supported.
SWI-Prolog Versions. SWI-Prolog is distributed as platform specific binary package for popular platforms (currently MS-Windows and MacOS X). For Ubuntu Linux we provide a PPA. For all Linux systems supporting snap we provide the snap package swi-prolog. The source package is configured using CMake. The sources builds on a wide range of 32 and ...
Download. Stable release Sources and executables for MS-Windows, Linux and MacOS X version 5.6.x. Development release. Documentation. Some popular old versions.
SWI-Prolog runs on almost any device with a basic POSIX or MS-Windows compliant API and a C99 compliant C compiler. Releases are made available as binaries for Windows, MacOS and Linux. Many Linux distributions provide a SWI-Prolog package and there is an official Docker library.