Skip to content

tiny-datalog 0.1.0

Choose a tag to compare

View all tags
@andrewgoodchild andrewgoodchild released this 03 Oct 03:01
· 17 commits to main since this release
v0.1.0
b418a19

First release on PyPI.

pip install tiny-datalog

A Datalog engine small enough to read in an afternoon — semi-naive evaluation with stratified negation and aggregation, plus satellites for magic sets, stable and well-founded models, semiring provenance, incremental maintenance, tabling, KL-ONE subsumption, query containment and a Prolog reader. Installs the tiny-datalog command and its six tiny-datalog-* siblings.

Assets 2
Loading