SWI-Prolog
by SWI-Prolog
ISO/Edinburgh-style Prolog interpreter
About
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.
Permissions
1 permission weaken the sandbox. Flatsonar asks before installing.
- full access to your entire file system
--filesystem=host - inter-process communication (needed for X11)
--share=ipc - network
--share=network - X11 display, only when Wayland is unavailable
--socket=fallback-x11 - audio
--socket=pulseaudio - Wayland display
--socket=wayland - GPU acceleration
--device=dri
Who publishes this
The creator demonstrably controls this app id: Flathub verification, the hosting account owns the namespace, or a well-known file on their domain.
- verified on Flathub: the developer proved they control this app id
publisher:flathub
Maintenance
Recent activity on the upstream repository, or built and reviewed by Flathub.
No staleness signals: recent activity, or built and reviewed by Flathub.