Download SWI-Prolog development 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.

Starting with version 6.1.7, the Windows binary is compiled using the MinGW GCC based compiler suite. Due to changed naming conventions this implies that extension DLLs are neither forward nor backward compatible. Please check the windows release nodes (also in the SWI-Prolog startup menu of your installed version).

Examine the ChangeLog.

Binaries
	10,449,785 bytes	SWI-Prolog/XPCE 6.3.15 for Windows NT/2000/XP/Vista/7 Self-installing executable for MS-Windows. Installs swipl-win.exe and swipl.exe. Works on Windows XP/Vista/7. This binary is linked against GMP 5.0.5, which implies that it is covered by the LGPL-V3 license. See below.
	10,967,320 bytes	SWI-Prolog/XPCE 6.3.15 for Windows XP/Vista/7 64-bit edition Self-installing executable for Microsoft's XP/Vista/7 64-bit editions. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 5.0.5, which implies that it is covered by the LGPL-V3 license. See below.
	26,284,166 bytes	SWI-Prolog/XPCE 6.3.15 for MacOSX 10.7 (Lion) 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. his binary is linked against GMP 5.0.2, which implies that it is covered by the LGPL-V3 license. See below.
	25,544,065 bytes	SWI-Prolog/XPCE 6.3.15 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,768,965 bytes	SWI-Prolog/XPCE 5.11.25 for MacOSX 10.5 (Leopard) on intel Installer with binaries created using Macports. Installs /opt/local/bin/swipl. Needs xquartz (X11) installed for running the development tools. Currently, version 2.4.0 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu.
Sources
	14,587,314 bytes	SWI-Prolog source for 6.3.15 Sources in .tar.gz format, including packages and generated documentation files. See build instructions.
Documentation
	1,870,590 bytes	SWI-Prolog 6.3.15 reference manual in PDF SWI-Prolog reference manual as PDF file. This does not include the package documentation.
Package binaries
	902,793 bytes	Package space (version 0.1.2) for Windows NT/2000/XP/Vista/7 Binary installer for the spatial indexing package space
	1,308,263 bytes	Package space (version 0.1.2) for Windows XP/Vista/7 64-bit edition Binary installer for the spatial indexing package space
Show all files

About the development releases

The development branches have their own GIT repository at the address below. See the general GIT instructions for details.

% git clone git://www.swi-prolog.org/home/pl/git/pl-devel.git

News

6.3.5 bumbed the semweb (RDF) library to version 3. In a nutshell

• Truly concurrent read/write
• Prolog logical update view on the RDF database
• Transactions changes
  • Transactions can be executed concurrently
  • Full atomicy and isolation support
  • Writes inside a transaction are visible following the Prolog logical update view
• Lock-free reading provides much better multicore scalability.

6.3.x planned enhancements

Below is a list of things on the TODO list.

• Kernel issues
  • Reduce trail-stack usage. (partly).
  • Reduce local-stack usage for multiple disjunctions in clauses.
  • Provide generational garbage collection.
  • Extend indexing with combined arguments and indexing inside compound terms.
  • Tabling
  • Further cleanup of the VM instruction API to simplify maintenance and future enhancements
  • Handle malloc() failures with exceptions rather then a fatal-error.
• Libraries
  • Move many goodies from ClioPatria to the HTTP and semweb libraries.
• Community and development issues
  • Further enhance the `pack' system and try to get it popular.