A pure Elixir Datalog engine with semi-naive fixpoint evaluation, stratified negation, provenance tracking, and telemetry.
-
Updated
Apr 18, 2026 - Elixir
A pure Elixir Datalog engine with semi-naive fixpoint evaluation, stratified negation, provenance tracking, and telemetry.
Add a description, image, and links to the infrence topic page so that developers can more easily learn about it.
To associate your repository with the infrence topic, visit your repo's landing page and select "manage topics."