Horn clause

== English == === Etymology === Named after American logician Alfred Horn (1918–2001). === Noun === Horn clause (plural Horn clauses) (logic) A clause (disjunction of literals) with at most one positive literal. === Further reading === Horn clause on Wikipedia.Wikipedia