Search results
SWI-Prolog version 9.2. The SWI-Prolog 9.2 is the latest stable release. Highlights: Bundled Python bi-directional interface (Janus) C++ interface version 2 (SWI-ccp2.h) covers much more of the SWI-Prolog C API and is more (type-)safe. Sources are now strict C11 and may be compiled using e.g. VS2022 on Windows. Many improvements to the tooling.
- 64 Bit
Windows antivirus software works using signatures and...
- Download Binary
Windows antivirus software works using signatures and...
- Download
Daily builds for Windows. Browse GIT repository. Available...
- SWI-Prolog
SWI-Prolog offers a comprehensive free Prolog environment....
- 64 Bit
21 wrz 2018 · SWI-Prolog offers a comprehensive Free Software Prolog environment, which features fast compilation, robust and free of memory leaks, unbounded integer and rational number arithmetic...
SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. Join over a million users who have downloaded SWI-Prolog.
Daily builds for Windows. Browse GIT repository. Available download channels. The development version is released roughly every two to four weeks. It is typically robust, provides the latest features and possible issues are resolved quickly. This is the recommended version for most users. The stable release is infrequently updated.
GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone.
SWI-Prolog is an open source (BSD-2) implementation of the Prolog language with many extensions. It is implemented in C (version 11) and Prolog and is available for many platforms (Linux, practically any POSIX like system, MacOS, Windows). All CPUs supported by Debian Linux are supported.
Download daily builds for Windows. The table below provides access to the most recent 7 daily builds of SWI-Prolog for Windows, both the 32- and 64-bit versions. The build is done automatically from the GIT sources. The files use the following naming convention:
