Definitions for

**"Horn clause"**a clause containing at most one positive literal

a clause with only one positive literal

a disjunction of literals where there is at most one positive (non-negated) literal

Definitions for **"Horn clause"**

a clause containing at most one positive literal

a clause with only one positive literal

a disjunction of literals where there is at most one positive (non-negated) literal