Goal Clause

From GM-RKB
(Redirected from integrity constraint)
Jump to navigation Jump to search

A Goal Clause is a Horn Clause with only Negative Literals.