Horn Clause Logic: A formal logic composed of Horn clauses, which are propositional statements consisting of a single conclusion and one or more premises.
We are still working on this page. Come back again soon.