Horn clause
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Named after American logician Alfred Horn (1918–2001).
Noun
[edit]Horn clause (plural Horn clauses)
- (logic) A clause (disjunction of literals) with at most one positive literal.
Further reading
[edit]
Horn clause on Wikipedia.Wikipedia
