#
horn
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 horn topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the horn topic, visit your repo's landing page and select "manage topics."