Horn clause noun1 •A clause (disjunction of literals) with at most one positive literal. formsHorn clauses
