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