Naive, bottom-up Datalog semantics, in about 200 lines
-
Updated
Sep 21, 2022 - C#
#
deductive-database-system
Here are 2 public repositories matching this topic...
Simple Horn Clause Reasoner
horn datalog constraint disjunctive clause dlv chc forward-chaining-algorithm deductive-database-system
-
Updated
Oct 7, 2021 - Python
Improve this page
Add a description, image, and links to the deductive-database-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the deductive-database-system topic, visit your repo's landing page and select "manage topics."