A Horn clause is a clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal. a Prolog program is a sequence of horn clauses.
A Horn clause is a clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal. a Prolog program is a sequence of horn clauses.