prolog
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
Last Release on Oct 19, 2026
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
Last Release on Oct 19, 2026
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
Last Release on Oct 19, 2026
It is a handwritten Prolog parser, it allows to parse prolog sources written in Edinburgh Prolog
style
Last Release on May 16, 2026
5.JaKtA
it.unibo.jakta » jakta-prolog-incarnation Apache
BDI agents in Kotlin
Last Release on Oct 14, 2026
8.Prolog4J
io.github.gtnicol » prolog4j LGPL
ISO Prolog standard (part 1) implementation in Java, designed as an embeddable library for Java applications.
Last Release on Feb 4, 2026