Download SWI-Prolog stable versions
| Binaries | ||
|---|---|---|
| 9,655,992 bytes | SWI-Prolog/XPCE 5.8.3 for i586/Linux (RPM)
Linux RPM package created on SuSE Linux 11.0. You may try on other Linux releases. If you are a one-time user, check whether your Linux distro provides SWI-Prolog. If you are a frequent user, consider to download and compile the source. | |
| 8,070,529 bytes | SWI-Prolog/XPCE 5.8.3 for Windows NT/2000/XP/Vista
Self-installing executable for MS-Windows. Installs plwin.exe and plcon.exe. Works on Windows NT/2000/XP/Vista. Users of Windows 95/98/ME should download version 5.4.7. | |
| 8,353,803 bytes | SWI-Prolog/XPCE 5.8.3 for Windows XP/Vista 64-bit edition
Self-installing executable for Microsoft's 64-bit platforms (XP and Vista 64-bit editions). See the reference manual for deciding on whether to use the 32- or 64-bits version. | |
| 11,757,426 bytes | SWI-Prolog/XPCE 5.8.3 for MacOSX 10.6 (Snow Leopard) on intel
Installer with binaries created using Macports.
Installs | |
| 10,482,327 bytes | SWI-Prolog/XPCE 5.8.3 for MacOSX 10.5 (Leopard) on intel
Installer with binaries created using Macports.
Installs | |
| 21,709,105 bytes | SWI-Prolog/XPCE 5.6.64 for MacOSX 10.5 (Leopard) on ppc
Installer with binaries created using Macports.
Installs | |
| 11,761,450 bytes | SWI-Prolog/XPCE 5.8.3 for MacOSX 10.4 (Tiger) on ppc
Installer with binaries created using Macports.
Installs | |
| Sources | ||
| 12,954,831 bytes | SWI-Prolog source for 5.8.3
Sources in | |
| Documentation | ||
| 2,374,379 bytes | SWI-Prolog 5.8.3 reference manual in PDF
SWI-Prolog reference manual as PDF file. This does not include the package documentation. | |
| Show all files | ||
About the 5.8.x release
The 5.8.x release consolidates the 5.7.x development stream, which makes the virtual machine implementation much easier to maintain and extend. This has been used to improve it at various places: proper compilation of =/2, dedicated instructions for common arithmetic operations, a few super-instructions for common list operations and dedicated indexing code for common constructs.
Upgrading code for 5.6.64 to 5.8.x
We are assembling tricks and tips for upgrading your Prolog source to run on 5.8.0 here.
Highlights:
- Performance improvement on larger programs is between 10 and 40%, depending on the programming style. Notably the constraint solvers profit significantly. Small programs sometimes show much bigger speedups.
- Updated module system:
- Compile : if sufficiently instantiated
- Provide real support for :- meta_predicate/1. Most of the library code has replaced :- module_transparent/1 with :- meta_predicate/1.
- System libraries are no longer sensitive for predicates, operators and changes of the unknown-flag in the user module.
- Various compatibility enhancements resulting from discussion in
the Prolog Commons project.
- Above mentioned meta_predicate/1 handling.
- Support Ciao's anonymous modules.
- Support the ISO proposal for extensions to the core.
- Added atomic_list_concat/2 and several friends.
- Make :- initialization/1 ISO compatible (runs after loading the file completes).