tuProlog IDE
An IDE for using Prolog via 2p-kt
University of Bologna - tuProlog Developers
it.unibo.tuprolog.idetuProlog (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.
Screenshots
Observed history
| App | Change | Version | When ↓ |
|---|---|---|---|
| updated | 1.0.4 | 9 Oct 2026 |
Upstream releases
Release notes supplied by the developer. These dates are not Flathub package publication times.
1.0.426 May 2024
Dependency updates
- Updated Gradle plugins
- Updated PlantUML