SWI-Prolog
by SWI-Prolog
Unverified
ISO/Edinburgh-style Prolog interpreter
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. A prototype running in your browser based on WASM (Web Assembly) is available. (SWI-)Prolog is a versatile language. It is being used for business rule validation, natural language processing, software verification, software refactoring, network configuration, security, robotics, reasoning in legal and medical domains, graph processing, machine learning (ILP, PLP), linked data (RDF), mathematical proofs, and much more.
Changes in version 9.3.6
about 2 months ago
(Built 13 days ago)
- No changelog provided
Installed Size~34.06 MiB
Download Size10.37 MiB
Available Architecturesx86_64, aarch64
Installs70