Horn Clause

logic

Definition

Horn Clause

A horn clause is a disjunctive clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal.

Example: $\neg p\vee \neg q\vee \cdots \vee \neg t\vee u$