Search results
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.
- COMMUNITY
Before moving to Discourse (Feb 4, 2018), SWI-Prolog...
- COMMERCIAL
SWI-Prolog is written in C, following the C11 standard. It...
- SWI-Prolog
SWI-Prolog downloads. Development release. Stable release....
- Sources/building
The sources are common for all platforms. Building them...
- Docker images
That is good for us as SWI-Prolog provides strong support...
- Add-ons
Logicmoo Event Calc -- A SWI-Prolog Pack that lets Prolog...
- Manual
1 Introduction. This document is a reference manual.That...
- Packages
If the pack is installed, this directory is added to the...
- COMMUNITY
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 based...
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.
SWI-Prolog downloads. Development release. Stable release. 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.
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).
14 lip 2023 · GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications.