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,829,417 bytes | SWI-Prolog 9.2.6-1 for Microsoft Windows (64 bit)
Self-installing executable for Microsoft Windows 64-bit editions. SHA256:958ac9f0ac2622abd69ba0df8615e23ef9e3c1e2dd7b4589841c2db0ff5089f1
|
![]() | 13,848,673 bytes | SWI-Prolog 9.2.6-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:91bbc8ef55db4d7394e2ffa73084196c3339ce3d9001bc0a9aa668a3e8af29aa
|
![]() | 39,829,723 bytes | SWI-Prolog 9.2.6-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:25af166fa5a3d322c2cfdf885ba3a4db3f469ac28885729cf35961cf18192a68
|
![]() | 33,408,820 bytes | SWI-Prolog 9.2.6-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:902ab81409e87c27e030950f39f2efa40c1397b76940280f71f8219e01134e6c
|
Sources | ||
![]() | 12,285,103 bytes | SWI-Prolog source for 9.2.6
Sources in SHA256:0cb9b80b9922be8165cbac384ebe050d94553e72cf7aebfc980b4395ff01d05d
|
Documentation | ||
![]() | 3,304,637 bytes | SWI-Prolog 9.2.6 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.