abstract:In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. Horn clauses are named for the logician Alfred Horn, who first pointed out the significance of such clauses in 1951, in the article "On sentences which are true of direct unions of algebras", Journal of Symbolic Logic, 16, 14–21.