| 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 | ||
|---|---|---|
| 14,331,585 bytes | SWI-Prolog 9.2.9-1 for Microsoft Windows (64 bit)
Self-installing executable for Microsoft Windows 64-bit editions. SHA256:0e6dbf5f4bb245344a257f2715f5d793d17870dee9eea1735ccb67b35f1e037c
| |
| 14,020,721 bytes | SWI-Prolog 9.2.9-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:1c9a87f2fd3ecc5311226b72a9b03989e500250ff469d7418f31706ce16b2de7
| |
| 39,839,539 bytes | SWI-Prolog 9.2.9-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:90531c03e6c1182a0d5be45b865db6e399933e84b284dcec20ab931240420e37
| |
| 33,419,551 bytes | SWI-Prolog 9.2.9-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:b4bdf53d7b882170ffc89a916c1b780ee68428bec7e0fa468422eb4a5971ae4a
| |
| Sources | ||
| 12,321,115 bytes | SWI-Prolog source for 9.2.9
Sources in SHA256:53f428e2d9bbdf30e53b06c9c42def9a13ff82fc36a111d410fc8b0bc889ee2d
| |
| Documentation | ||
| 3,308,776 bytes | SWI-Prolog 9.2.9 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.