A Horn clause is a logic disjunction of literals, where at most one of the literals is positive, and all the others are negative. It is named after Alfred Horn who described them in an article in 1951. 