Download SWI-Prolog development versions

Binaries
	5,904,793 bytes	SWI-Prolog/XPCE 5.11.3 for i586/Linux (RPM) Linux RPM package created on SuSE Linux 11.2. 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,379,636 bytes	SWI-Prolog/XPCE 5.11.4 for Windows NT/2000/XP/Vista Self-installing executable for MS-Windows. Installs swipl-win.exe and swipl.exe. Works on Windows NT/2000/XP/Vista/7.
	8,653,583 bytes	SWI-Prolog/XPCE 5.11.4 for Windows XP/Vista 64-bit edition Self-installing executable for Microsoft's 64-bit platforms (XP-64, Vista 64-bit and Windows 7 64-bit). See the reference manual for deciding on whether to use the 32- or 64-bits version.
	12,651,603 bytes	SWI-Prolog/XPCE 5.11.4 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,666,484 bytes	SWI-Prolog/XPCE 5.11.4 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.
	10,717,925 bytes	SWI-Prolog/XPCE 5.11.0 for MacOSX 10.4 (Tiger) on ppc 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
	12,959,938 bytes	SWI-Prolog source for 5.11.4 Sources in .tar.gz format, including packages and generated documentation files. See build instructions.
Documentation
	2,408,724 bytes	SWI-Prolog 5.11.4 reference manual in PDF SWI-Prolog reference manual as PDF file. This does not include the package documentation.
Package binaries
	902,424 bytes	Package space (version 0.1.2) for Windows NT/2000/XP/Vista Binary installer for the spatial indexing package space
	1,308,075 bytes	Package space (version 0.1.2) for Windows XP/Vista 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

5.11.x planned enhancements

SWI-Prolog 5.10.0 was released a bit early, in the sense that two enhancements in memory management are not or only partly realised. These are moved to the 5.11.0 agenda:

• Reduce trail-stack usage. (partly)
• Provide generational garbage collection.

Otherwise, priorities have not yet settled. Just to show this doesn't mean there are no plans, some points in random order. Feel free to suggest more or -better- help :-)

• Kernel issues
  • Better indexing, including support for tries
  • Tabling
  • Further cleanup of the VM instruction API to simplify maintenance and future enhancements
  • Rewrite more/all term-traversing functions to avoid the use of C-based recursion. This allows processing more deeply nested terms and proper resource-exceptions if there is insufficient memory
  • Handle malloc() failures with exceptions rather then a fatal-error.
• Libraries
  • RDF enhancements: better write-concurrency, get more out of named graphs and handle owl:sameAs mappings efficiently.
  • Move many goodies from ClioPatria to the HTTP and semweb libraries.
• Community and development issues
  • Come to a better model for dealing with contributed code. This model should allow for more independent and distributed development and make it easy for users to download and install packages.