table of contents

horn clause

2023-09-19

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.