SWI-Prolog is distributed as platform specific package for some popular platforms (currently MS-Windows and MacOS X). The source package provides the GNU autoconf/make suite to configure and build fully automatically on many platforms. It builds on a wide range of 32 and 64 bit systems with an ANSI C compiler. The MS-Windows version is built using the native Microsoft compiler suite, driven by NMAKE makefiles. Alternatively, the Windows version can be built using MinGW, although this path is not very well tested.
As of major version 5, we create stable releases with even minor version number (5.0.x, 5.2.x, 5.4.x, ...) and beta releases with odd minor version number (5.1.x, 5.3.x, ...). The beta versions are released frequently, while stable releases are created to consolidate the end of a new development. Stable releases are only replaced if really serious errors are found that affect many users. GIT access to the development is provided. All releases are tagged as VMajor.Minor.Patch Release milestones
- Current development branch.
- The pack package installer, better
:- include(file).support, many enhancements to debugger and environment. Windows version built using MinGW (about 20% faster then MSVC2005 version).
- Stable branch created from 5.11.37. Notably provides just-in-time indexing on multiple arguments and supports the PDT Eclipse IDE out of the box.
- External requirements have forced the release of 5.10.x before the wishlist of new functionality was complete. Notably generational GC remains on the wishlist.
- Stable branch with the achieved 5.9.x enhancements: better scalability in terms of memory usage and concurrency, better reliability and better compatibility.
- Stable branch providing performance enhancements from 5.7.x, many extensions and enhancements to the libraries; notably the web and semantic web libraries.
- Stable branch providing UNICODE handling, unbounded and
rational arithmetic, enhanced Leuven CHR system,
clp(fd), much enhanced (semantic) web libraries, etc.
- Stable branch providing attributed variables, coroutining, CHR (Constraint Handling Rules), infinite trees (cyclic terms) and many more. This is the last version that runs on Windows 95/98/ME. 5.5.x and later require Windows NT, 2000 or XP.
- Stable version providing multi-threading.
- Moved to uniform LGPL license. Standard distribution contains core packages: XPCE (graphics), TCP/IP, CGI, SGML/XML/HTML/RDF, HTTP, ODBC and many more.
- Version prior to integration. Compliant to the ISO Prolog standard (part1).
- Last pre-ISO version. As 3.3.0 is not fully upward compatible this version will remain on this server for a while. It will not be maintained (by us)