Did you know ... Search Documentation:
SWI-Prolog owl logoDownload SWI-Prolog stable versions

linux.png 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. We provide a PPA for Ubuntu

windows.jpg Please check the windows release notes (also in the SWI-Prolog startup menu of your installed version) for details.

WIP.png Examine the ChangeLog.


Binaries
Windows version (64-bits)20,420,987 bytesSWI-Prolog 7.4.2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)20,416,358 bytesSWI-Prolog 7.4.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)20,438,279 bytesSWI-Prolog 7.4.0-rc2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)20,432,238 bytesSWI-Prolog 7.4.0-rc1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)18,508,889 bytesSWI-Prolog 7.2.3 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)18,485,125 bytesSWI-Prolog 7.2.2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)18,487,113 bytesSWI-Prolog 7.2.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)18,490,622 bytesSWI-Prolog 7.2.0 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)12,854,205 bytesSWI-Prolog 6.6.6 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)12,853,026 bytesSWI-Prolog 6.6.5 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)12,900,525 bytesSWI-Prolog 6.6.4 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)12,901,096 bytesSWI-Prolog 6.6.3 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)12,946,930 bytesSWI-Prolog 6.6.2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)11,109,844 bytesSWI-Prolog 6.6.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)11,052,473 bytesSWI-Prolog 6.6.0 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)11,044,341 bytesSWI-Prolog 6.4.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)11,041,227 bytesSWI-Prolog 6.4.0 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)10,833,097 bytesSWI-Prolog 6.2.6 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)10,826,152 bytesSWI-Prolog 6.2.5 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)10,818,287 bytesSWI-Prolog 6.2.4 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)10,860,403 bytesSWI-Prolog 6.2.3 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)10,815,204 bytesSWI-Prolog 6.2.2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)10,812,967 bytesSWI-Prolog 6.2.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)10,738,652 bytesSWI-Prolog 6.2.0 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)9,241,583 bytesSWI-Prolog 6.0.2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)9,230,497 bytesSWI-Prolog 6.0.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)9,097,545 bytesSWI-Prolog 6.0.0 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)9,003,493 bytesSWI-Prolog 5.10.5 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,902,929 bytesSWI-Prolog 5.10.4 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,901,313 bytesSWI-Prolog 5.10.3 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,718,257 bytesSWI-Prolog 5.10.2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,656,459 bytesSWI-Prolog 5.10.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,540,744 bytesSWI-Prolog 5.10.0 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,353,803 bytesSWI-Prolog 5.8.3 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,354,857 bytesSWI-Prolog 5.8.2 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,622,576 bytesSWI-Prolog 5.8.1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,400,240 bytesSWI-Prolog 5.8.0 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,154,763 bytesSWI-Prolog 5.6.64 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,146,068 bytesSWI-Prolog 5.6.63 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,136,247 bytesSWI-Prolog 5.6.62 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (64-bits)8,136,252 bytesSWI-Prolog 5.6.61 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft's Windows 64-bit editions. Requires at least Windows 7. See the reference manual for deciding on whether to use the 32- or 64-bits version. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)19,121,158 bytesSWI-Prolog 7.4.2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)19,118,497 bytesSWI-Prolog 7.4.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)19,141,032 bytesSWI-Prolog 7.4.0-rc2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)19,137,463 bytesSWI-Prolog 7.4.0-rc1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)11,849,467 bytesSWI-Prolog 7.2.3 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)11,816,053 bytesSWI-Prolog 7.2.2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)11,820,473 bytesSWI-Prolog 7.2.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)11,835,762 bytesSWI-Prolog 7.2.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)12,243,941 bytesSWI-Prolog 6.6.6 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)12,243,350 bytesSWI-Prolog 6.6.5 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)12,288,518 bytesSWI-Prolog 6.6.4 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)12,288,884 bytesSWI-Prolog 6.6.3 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)12,326,461 bytesSWI-Prolog 6.6.2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,592,720 bytesSWI-Prolog 6.6.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,535,224 bytesSWI-Prolog 6.6.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,604,255 bytesSWI-Prolog 6.4.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,526,047 bytesSWI-Prolog 6.4.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,327,720 bytesSWI-Prolog 6.2.6 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,320,458 bytesSWI-Prolog 6.2.5 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,311,650 bytesSWI-Prolog 6.2.4 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,386,688 bytesSWI-Prolog 6.2.3 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,319,710 bytesSWI-Prolog 6.2.2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,319,123 bytesSWI-Prolog 6.2.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)10,239,339 bytesSWI-Prolog 6.2.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)9,029,095 bytesSWI-Prolog 6.0.2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)9,021,841 bytesSWI-Prolog 6.0.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,890,447 bytesSWI-Prolog 6.0.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,727,517 bytesSWI-Prolog 5.10.5 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,628,017 bytesSWI-Prolog 5.10.4 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,631,549 bytesSWI-Prolog 5.10.3 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,435,356 bytesSWI-Prolog 5.10.2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,367,825 bytesSWI-Prolog 5.10.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,253,702 bytesSWI-Prolog 5.10.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,070,529 bytesSWI-Prolog 5.8.3 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,067,702 bytesSWI-Prolog 5.8.2 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)8,373,349 bytesSWI-Prolog 5.8.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)7,344,506 bytesSWI-Prolog 5.8.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)7,120,995 bytesSWI-Prolog 5.6.64 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)7,113,168 bytesSWI-Prolog 5.6.63 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)7,103,496 bytesSWI-Prolog 5.6.62 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)7,108,666 bytesSWI-Prolog 5.6.61 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)4,239,465 bytesSWI-Prolog 5.6.1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Windows version (32-bits)4,243,564 bytesSWI-Prolog 5.6.0 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7. Installs swipl-win.exe and swipl.exe. This binary is linked against GMP 6.1.1 which is covered by the LGPL license.

Snow Leopard and later23,576,581 bytesSWI-Prolog 7.4.2 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later23,577,185 bytesSWI-Prolog 7.4.1 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later23,580,169 bytesSWI-Prolog 7.4.0-rc2 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later23,575,050 bytesSWI-Prolog 7.4.0-rc1 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later18,561,463 bytesSWI-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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later18,589,911 bytesSWI-Prolog 7.2.2 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later26,672,533 bytesSWI-Prolog 7.2.1 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later24,007,174 bytesSWI-Prolog 7.2.0 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later20,472,051 bytesSWI-Prolog 6.6.6 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later20,466,921 bytesSWI-Prolog 6.6.5 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later17,793,543 bytesSWI-Prolog 6.6.4 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later16,069,559 bytesSWI-Prolog 6.6.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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later16,003,800 bytesSWI-Prolog 6.6.2 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later15,988,018 bytesSWI-Prolog 6.6.1 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

Snow Leopard and later15,941,685 bytesSWI-Prolog 6.6.0 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.11 is required. You can check the version by opening an X11 application and then checking `about' in the X11 menu. The bundle also provides the commandline tools in Contents/MacOS. The command line tools need at least MacOS 10.6 (Snow Leopard). The graphical application needs at least MacOS 10.7 (Lion).

MacOSX version26,061,877 bytesSWI-Prolog 6.4.1-snow 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

MacOSX version26,480,246 bytesSWI-Prolog 6.2.6-snow 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

MacOSX version26,478,274 bytesSWI-Prolog 6.2.5-snow 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

MacOSX version26,465,465 bytesSWI-Prolog 6.2.4-snow 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

MacOSX version26,376,311 bytesSWI-Prolog 6.2.3-snow 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

MacOSX version26,364,906 bytesSWI-Prolog 6.2.2-snow 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

MacOSX version26,364,727 bytesSWI-Prolog 6.2.1-snow 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

MacOSX version19,154,893 bytesSWI-Prolog 6.2.0-snow 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

MacOSX version10,759,840 bytesSWI-Prolog 6.0.2-snow 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

MacOSX version12,437,659 bytesSWI-Prolog 5.10.4-snow 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

MacOSX version12,435,916 bytesSWI-Prolog 5.10.3-snow 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

MacOSX version12,149,051 bytesSWI-Prolog 5.10.2-snow 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

MacOSX version12,099,978 bytesSWI-Prolog 5.10.1-snow 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

MacOSX version12,026,535 bytesSWI-Prolog 5.10.0-snow 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

MacOSX version11,757,426 bytesSWI-Prolog 5.8.3-snow 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

Sources
Source archive16,496,738 bytesSWI-Prolog source for 7.4.2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive16,498,678 bytesSWI-Prolog source for 7.4.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive16,500,566 bytesSWI-Prolog source for 7.4.0-rc2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive16,498,021 bytesSWI-Prolog source for 7.4.0-rc1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive16,192,142 bytesSWI-Prolog source for 7.2.3

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive16,179,490 bytesSWI-Prolog source for 7.2.2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive16,175,699 bytesSWI-Prolog source for 7.2.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive16,211,509 bytesSWI-Prolog source for 7.2.0

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,838,653 bytesSWI-Prolog source for 6.6.6

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,837,423 bytesSWI-Prolog source for 6.6.5

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,830,255 bytesSWI-Prolog source for 6.6.4

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,826,153 bytesSWI-Prolog source for 6.6.3

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,823,664 bytesSWI-Prolog source for 6.6.2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,769,033 bytesSWI-Prolog source for 6.6.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,764,935 bytesSWI-Prolog source for 6.6.0

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,616,444 bytesSWI-Prolog source for 6.4.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,621,704 bytesSWI-Prolog source for 6.4.0

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,407,455 bytesSWI-Prolog source for 6.2.6

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,404,112 bytesSWI-Prolog source for 6.2.5

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,388,523 bytesSWI-Prolog source for 6.2.4

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,349,678 bytesSWI-Prolog source for 6.2.3

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,353,692 bytesSWI-Prolog source for 6.2.2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,349,946 bytesSWI-Prolog source for 6.2.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive14,353,730 bytesSWI-Prolog source for 6.2.0

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive13,730,812 bytesSWI-Prolog source for 6.0.2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive13,717,873 bytesSWI-Prolog source for 6.0.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive13,369,538 bytesSWI-Prolog source for 6.0.0

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive13,329,752 bytesSWI-Prolog source for 5.10.5

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive13,242,637 bytesSWI-Prolog source for 5.10.4

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive13,245,114 bytesSWI-Prolog source for 5.10.3

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive13,200,131 bytesSWI-Prolog source for 5.10.2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,950,695 bytesSWI-Prolog source for 5.10.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,722,848 bytesSWI-Prolog source for 5.10.0

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,954,831 bytesSWI-Prolog source for 5.8.3

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,934,300 bytesSWI-Prolog source for 5.8.2

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,927,688 bytesSWI-Prolog source for 5.8.1

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,695,999 bytesSWI-Prolog source for 5.8.0

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,019,903 bytesSWI-Prolog source for 5.6.64

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,015,074 bytesSWI-Prolog source for 5.6.63

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,012,661 bytesSWI-Prolog source for 5.6.62

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,991,743 bytesSWI-Prolog source for 5.6.61

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,027,409 bytesSWI-Prolog source for 5.6.59

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive12,029,129 bytesSWI-Prolog source for 5.6.58

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,866,526 bytesSWI-Prolog source for 5.6.57

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,860,967 bytesSWI-Prolog source for 5.6.56

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,818,376 bytesSWI-Prolog source for 5.6.55

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,780,729 bytesSWI-Prolog source for 5.6.54

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,783,024 bytesSWI-Prolog source for 5.6.53

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,714,647 bytesSWI-Prolog source for 5.6.52

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,713,293 bytesSWI-Prolog source for 5.6.51

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Source archive11,718,735 bytesSWI-Prolog source for 5.6.50

Sources in .tar.gz format, including packages and generated documentation files. See build instructions.

Documentation
PDF file2,376,271 bytesSWI-Prolog 7.4.2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,375,843 bytesSWI-Prolog 7.4.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,375,378 bytesSWI-Prolog 7.4.0-rc2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,375,700 bytesSWI-Prolog 7.4.0-rc1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,207,571 bytesSWI-Prolog 7.2.3 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,205,667 bytesSWI-Prolog 7.2.2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,205,362 bytesSWI-Prolog 7.2.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,050,084 bytesSWI-Prolog 7.2.0 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,910,584 bytesSWI-Prolog 6.6.6 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,909,644 bytesSWI-Prolog 6.6.5 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,908,214 bytesSWI-Prolog 6.6.4 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,908,216 bytesSWI-Prolog 6.6.3 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,908,216 bytesSWI-Prolog 6.6.2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,907,289 bytesSWI-Prolog 6.6.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,908,094 bytesSWI-Prolog 6.6.0 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,887,543 bytesSWI-Prolog 6.4.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,886,880 bytesSWI-Prolog 6.4.0 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,309,527 bytesSWI-Prolog 6.2.6 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,305,244 bytesSWI-Prolog 6.2.5 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,300,740 bytesSWI-Prolog 6.2.4 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file1,827,347 bytesSWI-Prolog 6.2.3 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,295,146 bytesSWI-Prolog 6.2.2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,323,590 bytesSWI-Prolog 6.2.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,323,541 bytesSWI-Prolog 6.2.0 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,138,318 bytesSWI-Prolog 6.0.2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,138,150 bytesSWI-Prolog 6.0.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,104,533 bytesSWI-Prolog 6.0.0 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,562,070 bytesSWI-Prolog 5.10.5 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,516,730 bytesSWI-Prolog 5.10.4 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,516,209 bytesSWI-Prolog 5.10.3 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,461,585 bytesSWI-Prolog 5.10.2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,401,771 bytesSWI-Prolog 5.10.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,401,771 bytesSWI-Prolog 5.10.0 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,374,379 bytesSWI-Prolog 5.8.3 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,372,981 bytesSWI-Prolog 5.8.2 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,371,189 bytesSWI-Prolog 5.8.1 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,361,098 bytesSWI-Prolog 5.8.0 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

PDF file2,192,677 bytesSWI-Prolog 5.6.59 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the package documentation.

Show latest files

SWI-Prolog version 7

SWI-Prolog version 7 has several extensions and incompatibilities wrt. traditional Prolog. See extensions for details.