Did you know ... | Search Documentation: |
Download SWI-Prolog stable versions |
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,817,587 bytes | SWI-Prolog 9.2.5-1 for Microsoft Windows (64 bit)
Self-installing executable for Microsoft Windows 64-bit editions. SHA256:2b412c2eb45c120b7215e013fbcd53ef3b7fa912f1d50e806bcfbb31f06e0cab
| |
13,836,452 bytes | SWI-Prolog 9.2.5-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:c5235c31dfa217ed2a2cb4c8375e8ec36c672b3f71a2496a3dac1eae2a4dd1fe
| |
39,830,558 bytes | SWI-Prolog 9.2.5-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 SHA256:123d97bf225a1b2433969fc1d3541dfccb17de860075bbbbd0f136088751adae
| |
33,390,471 bytes | SWI-Prolog 9.2.5-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 SHA256:d40decacc6a66836e494a3bb7aec79a200c5e18b1ff5a1f10acb8897951696bf
| |
Sources | ||
12,271,144 bytes | SWI-Prolog source for 9.2.5
Sources in SHA256:b9f40771906c7e04be80ae4cfaa4463aeb44c52010a478edd8c7a4c022fe8781
| |
Documentation | ||
3,301,882 bytes | SWI-Prolog 9.2.5 reference manual in PDF
SWI-Prolog reference manual as PDF file. This does not include the package documentation. | |
Show all files |
.sha256
to the file name. Scripts can download
the latest version by replacing the version of the file with
latest
. This causes the server to reply with the
location of the latest version using an
HTTP 303 See Other
message.The SWI-Prolog 9.2 is the latest stable release. Highlights:
SWI-ccp2.h
) covers much more
of the SWI-Prolog C API and is more (type-)safe.swipl <tool> [arg ...]
. Provides cli tools for
pack management and `.qlf` compilation.