Horn clause

Etymology
.

Noun

 * 1)  A clause (disjunction of literals) with at most one positive literal.