Meanings
nounHorn clause (plural Horn clauses)
plural Horn clauses
- human sciencesA clause (disjunction of literals) with at most one positive literal.
Origin
Named after American logician Alfred Horn (1918–2001).
Full word history & related roots →Cite this entry
APA
Horn clause. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/Horn%20clause
MLA
“Horn clause.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Horn%20clause. Accessed November 4, 2026.
Chicago
WatkinsX Dictionary, s.v. “Horn clause,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/Horn%20clause.
Source: Horn clause on Wiktionary, CC BY-SA 4.0.