implementation("it.unibo.tuprolog:solve-prolog:3.0.4")Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
| Version | Release | Platforms |
|---|---|---|
| 3.0.7 | Release: 04 Nov 2026 | JVMJS |
| 3.0.6 | Release: 02 Nov 2026 | JVMJS |
| 3.0.5 | Release: 22 Oct 2026 | JVMJS |
| 3.0.4 | Release: 21 Oct 2026 | JVMJS |
| 3.0.3 | Release: 18 Oct 2026 | JVMJS |
| 3.0.2 | Release: 17 Oct 2026 | JVMJS |
| 3.0.1 | Release: 05 Oct 2026 | JVMJS |
| 3.0.0 | Release: 04 Oct 2026 | JVMJS |
| Version | Release | Platforms |
|---|---|---|
| 3.0.7 | Release: 04 Nov 2026 | JVMJS |
| 3.0.6 | Release: 02 Nov 2026 | JVMJS |
| 3.0.5 | Release: 22 Oct 2026 | JVMJS |
| 3.0.4 | Release: 21 Oct 2026 | JVMJS |
| 3.0.3 | Release: 18 Oct 2026 | JVMJS |
| 3.0.2 | Release: 17 Oct 2026 | JVMJS |
| 3.0.1 | Release: 05 Oct 2026 | JVMJS |
| 3.0.0 | Release: 04 Oct 2026 | JVMJS |