Horn clause en · NOUN
Etymology
Named after American logician Alfred Horn (1918–2001).
Meanings
- A clause (disjunction of literals) with at most one positive literal.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Horn clauses | Number=Plur | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.