English Explanatory Dictionary

Horn clause

English dictionary entry

Meanings

noun
  1. A clause (disjunction of literals) with at most one positive literal.

Word forms

Horn clause Horn clauses

Etymology

Named after American logician Alfred Horn (1918–2001).

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on H Russian dictionary Dahl dictionary