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