March 31, 2005

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.

Posted by djp3 at March 31, 2005 5:46 PM | TrackBack (0)
Post a comment

Post a comment