What is a Horn clause?

A Horn clause is restricted to have at most one positive literal. They are typically written as an implication statement which can be converted to a disjunctive clause:

Horn clauses are an interesting restriction because they allow efficient resolution and are the basis of the language Prolog.

See MathWorld for more.