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. See also Building SWI-Prolog on Android using LinuxOnAndroid

Please check the windows release notes (also in the SWI-Prolog startup menu of your installed version) for details.

Examine the ChangeLog.

Binaries
	13,795,621 bytes	SWI-Prolog 9.2.3-1 for Microsoft Windows (64 bit) Self-installing executable for Microsoft Windows 64-bit editions. SHA256:3dee13956fc89f4af96e476691b5254d42929e01878c4620d6df48f00844795d
	13,813,418 bytes	SWI-Prolog 9.2.3-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. Note that this version lacks the Janus interface to Python. SHA256:7926195142c8ed285730c6f02268da725d571768b72ec34eccccccf8dadbfadb
	39,827,068 bytes	SWI-Prolog 9.2.3-1 for MacOSX 10.14 (Mojave) and later on x86_64 and arm64 Mac OS X disk image with relocatable application bundle. Needs xquartz (X11) installed for running the development tools. The bundle also provides the commandline tools in the Contents/MacOS directory. Users of older MacOS versions are adviced to use Macports, Homebrew or install from source. This bundle contains universal (fat) binaries that run natively on Intel (x86_64) and Apple Silicon (M1-3, arm64). SHA256:0b4350e563acf7eaee9cddd4237b76a9f44f13db4325e74edc69bddf5618821b
	33,391,393 bytes	SWI-Prolog 9.2.3-1 for MacOSX bundle on intel Mac OS X disk image with relocatable application bundle. Needs xquartz. Same as the fat bundle, but only contains the x86_64 binaries, compiled using gcc13 from Macports. This version is 30-40% faster than the fat binaries on Intel Macs. The intel version is not regularly updated. SHA256:99ac1c6b8483437d712400cc17fdf4cb2d90857817f741efb2e664f89949841d
Sources
	12,265,133 bytes	SWI-Prolog source for 9.2.3 Sources in .tar.gz format, including packages and generated documentation files. See build instructions. SHA256:28329039526a93c10a160be5c7d90ca4fb7d1514e4a009a0852c6d237292e724
Documentation
	3,289,969 bytes	SWI-Prolog 9.2.3 reference manual in PDF SWI-Prolog reference manual as PDF file. This does not include the package documentation.
Show all files

SWI-Prolog version 9.2

The SWI-Prolog 9.2 is the latest stable release. Highlights:

• Bundled Python bi-directional interface (Janus)
• C++ interface version 2 (SWI-ccp2.h) covers much more of the SWI-Prolog C API and is more (type-)safe.
• Sources are now strict C11 and may be compiled using e.g. VS2022 on Windows.
• Many improvements to the tooling.
  • The profiler can provide accurate port counts
  • The coverage analysis tool can annotate files by line and collect data from multiple threads and Prolog runs.
  • The unit testing tool supports concurrent testing and hiding of output of succeeded tests.
  • The pack manager can deal with version and feature restrictions, plan multiple packs together, build using CMake.
• Added an option for commandline tools that can be called as swipl <tool> [arg ...]. Provides cli tools for pack management and `.qlf` compilation.