horn clause <2023-09-19 Tue 15:42:52> mahmood math a horn clause is a disjunction of literals of which at most one is positive.all definite clause are horn clauses, as are the clauses with no positive literals; these are called goal clauses.