tuProlog IDE
by University of Bologna - tuProlog Developers
An IDE for using Prolog via 2p-kt
About
tuProlog (2P henceforth) is a multi-paradigm logic programming framework written in Java.
2P-Kt is a Kotlin-based and multi-platform reboot of 2P. It consists of an open ecosystem for Symbolic Artificial Intelligence (AI). For this reason, 2P-Kt consists of a number of incrementally inter-dependent modules aimed at supporting symbolic manipulation and reasoning in an extensible and flexible way.
Permissions
2 permissions weaken the sandbox. Flatsonar asks before installing.
- X11 display: X11 lets apps read input and windows of other apps
--socket=x11 - full access to your home folder
--filesystem=home - inter-process communication (needed for X11)
--share=ipc - GPU acceleration
--device=dri
Who publishes this
On Flathub: the manifest was reviewed and built on Flathub's infrastructure, but the developer has not verified ownership of the app id.
- installs a prebuilt binary instead of building from source
source:prebuilt - on Flathub: manifest reviewed and built by Flathub; the developer has not verified the 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.