Please check the windows release notes (also in the SWI-Prolog startup menu of your installed version) for details.
Examine the ChangeLog.
|11,849,467 bytes||SWI-Prolog 7.2.3 for Windows XP/Vista/7/8
Self-installing executable for MS-Windows. Installs swipl-win.exe and swipl.exe. Works on Windows XP/Vista/7/8/10. This binary is linked against GMP 5.0.5, which implies that it is covered by the LGPL-V3 license. See below.
|18,508,889 bytes||SWI-Prolog 7.2.3 for Windows XP/Vista/7/8 64-bit edition
Self-installing executable for Microsoft's XP/Vista/7/8/10 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.
|18,561,463 bytes||SWI-Prolog 7.2.3 for MacOSX 10.6 (Snow Leopard) and later on intel
Mac OS X disk image with relocatable application bundle. Needs
xquartz (X11) installed for running the development
tools. Currently, version 2.7.5 is required. You can
check the version by opening an X11 application and then checking
`about' in the X11 menu. The graphical application is experimental.
The bundle also provides the commandline tools in
WARNING This version does not run property on MacOSX El Captain (10.11). Please download the development version, version 7.3.11 or later instead.
|16,192,142 bytes||SWI-Prolog source for 7.2.3
|2,207,571 bytes||SWI-Prolog 7.2.3 reference manual in PDF
SWI-Prolog reference manual as PDF file. This does not include the package documentation.
|Show all files|
SWI-Prolog version 7 has several extensions and incompatibilities wrt. traditional Prolog. See extensions for details.