Development · Flathub
SWI-Prolog v10.1.20
ISO/Edinburgh-style Prolog interpreter
From Flathub, not verified with cpak
This app comes from Flathub and has not been tested with cpak yet. cpak checks it against the Flathub signing key and runs it in its own sandbox, without Flatpak on the system, but some features may not work. How Flathub apps work in cpak
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.
Package details
- Application ID
- org.swi_prolog.swipl
- Source
- Flathub
- Developer
- SWI-Prolog
- License
- MIT
