Simple Horn Clause Reasoner
horn
datalog
constraint
disjunctive
clause
dlv
chc
forward-chaining-algorithm
deductive-database-system
-
Updated
Oct 7, 2021 - Python
Simple Horn Clause Reasoner
Computes the satisfiability (SAT) of a disjunctive-normal-form (DNF)
Add a description, image, and links to the disjunctive topic page so that developers can more easily learn about it.
To associate your repository with the disjunctive topic, visit your repo's landing page and select "manage topics."