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.
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.