Horn Clauses

(10th-August-2020)

A Horn clause knowledge base can imply negations of atoms, as shown in Example 5.16.