Αποτελέσματα Αναζήτησης
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.
- Download a Binary File
Windows antivirus software works using signatures and...
- Swi-Prolog Downloads
SWI-Prolog downloads. Development release. Stable release....
- Windows Release Notes
3.5 Execution level. The installer asks for the admin...
- 64 Bit
Windows antivirus software works using signatures and...
- Swi-Prolog Login
DOWNLOAD SWI-Prolog; Sources/building; Docker images;...
- UNIX
Downloading SWI-Prolog. Download the SWI-Prolog source. As a...
- Build Instructions
The sources are common for all platforms. Building them...
- SWI-Prolog
SWI-Prolog offers a comprehensive free Prolog environment....
- Download a Binary File
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.
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.
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).
22 Οκτ 2024 · Logtalk runs on any operating-system with a standards compliant modern Prolog compiler. The interface between Logtalk and a specific backend Prolog compiler is accomplished using a small adapter file. The Logtalk distribution includes adapter files for all supported Prolog compilers: CxProlog 0.98.1 or later versions.
The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
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.
