Amzi! Prolog: complete system to interpret, build, run and debug Prolog ...
Tableau-based Theorem Prover for Natural Logic and Language
Online, interactive edition of the "Simply Logical" Prolog textbook
Rust implementation of µKanren, a featherweight relational programming l...
Python library that enables using prolog syntax and logic programming in...
GNU-Make-like utility for managing builds and complex workflows
Allow Lisp programs to stop implementing an ad-hoc, informally-specified...
End-to-End Differentiable Proving
A Kotlin Multi-Platform ecosystem for symbolic AI
Python wrapper around several Prolog engines. Hoping to make symbolic AI...
A collection of Prolog libraries.
RTEC is an Event Calculus implementation optimised for stream reasoning
:slot_machine: University projects and homework.
The Eldarica model checker
random stuff in prolog