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,163,366 bytes | SWI-Prolog 9.0.4-1 for Microsoft Windows (64 bit)
Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license. SHA256:33758f1c2dd190df9c8828d2dcb39166ad10d31d78f1198812e6d0f33b71c73b
|
![]() | 13,203,365 bytes | SWI-Prolog 9.0.4-1 for Microsoft Windows (32 bit)
Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license. SHA256:c99b7b794d14335ca6fda556f959e74c4b1b51877673a404f87c9cb68bce794c
|
![]() | 51,743,650 bytes | SWI-Prolog 9.0.4-1 for MacOSX 10.14 (Mojave) and later on x86_64 and arm64
Installer with binaries created using Macports.
Installs SHA256:a6f32683e4c42e62ea6f8f481ac1f5f5fbfa2623b5c32eb21396a04c5ebbc197
|
![]() | 28,195,489 bytes | SWI-Prolog 8.4.1-1 for MacOSX bundle on intel
Installer with binaries created using Macports.
Installs SHA256:1b9c62caa781818a0dafd1d822ab563b8c10c7cd018ce10a3b71f900eb3a434f
|
Sources | ||
![]() | 11,854,471 bytes | SWI-Prolog source for 9.0.4
Sources in SHA256:feb2815a51d34fa81cb34e8149830405935a7e1d1c1950461239750baa8b49f0
|
Documentation | ||
![]() | 3,153,520 bytes | SWI-Prolog 9.0.4 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.0 consolidates many improvements of the 8.x series. This major release mainly adds and improves features. Upgrading from any 8.x release should not come with major compatibility issues.
Highlights: