Αποτελέσματα Αναζήτησης
SWI-Prolog is a comprehensive and widely used Prolog system that supports 32/64 bits and online execution. Download SWI-Prolog or try it in your browser with SWISH or WASM.
- Download
Available download channels. The development version is...
- COMMUNITY
SWI-Prolog issue tracker at GitHub (See reporting a bug for...
- COMMERCIAL
SWI-Prolog deviates from this standard on several points,...
- Sources/building
The sources are common for all platforms. Building them...
- Docker images
The images are based on Debian Bookworm and releases for...
- Add-ons
planner_api -- A SWI-Prolog Pack that lets Prolog code...
- Manual
SWI-Prolog Wiki entry. There is a wiki entry at the...
- Packages
Packages are part of the source code releases of SWI-Prolog...
- Download
Download SWI-Prolog 9.2, a free and open source Prolog compiler and interpreter, for Windows, MacOSX, Linux and Android. Find documentation, checksums, installation instructions and more.
Download SWI-Prolog, a popular Prolog implementation for Windows, Linux and other platforms. Choose between the development version with the latest features, the stable version with critical patches, or the daily builds for Windows.
Download SWI-Prolog, a free and open source logic programming language, for various platforms and versions. Find the latest release notes, checksums, and links to Linux packages and Android binaries.
SWI-Prolog is a comprehensive and portable implementation of the Prolog programming language. SWI-Prolog aims to be a robust and scalable implementation supporting a wide
SWI-Prolog is an open source Prolog language with many extensions and applications. Learn how to fork, clone, build, and use SWI-Prolog online or in your browser.
SWI-Prolog is a free and cross-platform Prolog implementation with many features and libraries. Learn about its history, execution model, constraint logic programming, extensions, interfaces and more.