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 /opt/local/bin/swipl. Needs X11 (bundled with the MacOS X installer) and Developer Tools (Xcode) installed for running the development tools.
	10,482,327 bytes	SWI-Prolog/XPCE 5.8.3 for MacOSX 10.5 (Leopard) on intel Installer with binaries created using Macports. Installs /opt/local/bin/swipl. Needs xquartz (X11) and the Developer Tools (Xcode) installed for running the development tools
	21,709,105 bytes	SWI-Prolog/XPCE 5.6.64 for MacOSX 10.5 (Leopard) on ppc Installer with binaries created using Macports. Installs /opt/local/bin/swipl. Needs xquartz (X11) and the Developer Tools (Xcode) installed for running the development tools
	11,761,450 bytes	SWI-Prolog/XPCE 5.8.3 for MacOSX 10.4 (Tiger) on ppc Installer with binaries created using Macports. Installs /opt/local/bin/swipl. Needs X11 (bundled with the MacOS X installer installed for running the development tools
Sources
	12,954,831 bytes	SWI-Prolog source for 5.8.3 Sources in .tar.gz format, including packages and generated documentation files. See build instructions.
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).