Development · Flathub
tuProlog IDE v1.0.4
An IDE for using Prolog via 2p-kt
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
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.
Package details
- Application ID
- it.unibo.tuprolog.ide
- Source
- Flathub
- Developer
- University of Bologna - tuProlog Developers
- License
- Apache-2.0
