Definition of Horn clause

1. Noun. (logic) A clause (disjunction of literals) with at most one positive literal. ¹



¹ Source: wiktionary.com

Horn Clause Pictures

Click the following link to bring up a new window with an automated collection of images related to the term: Horn Clause Images

Lexicographical Neighbors of Horn Clause

Horatian
Horatian ode
Horatio
Horatio Alger
Horatio Herbert Kitchener
Horatio Hornblower
Horatio Nelson
Horatio Walpole
Hordeum
Hordeum jubatum
Hordeum murinum
Hordeum pusillum
Hordeum vulgare
Horezm
Horlicks
Horn clause (current term)
Horn clauses
Horn of Africa
Horned God
Horneophyton
Horner's muscle
Horner's pupil
Horner's syndrome
Horner's teeth
Horner-Trantas dots
Hornet
Hornsby
Hornsbys
Horologium
Horowitz

Other Resources Relating to: Horn clause

Search for Horn clause on Dictionary.com!Search for Horn clause on Thesaurus.com!Search for Horn clause on Google!Search for Horn clause on Wikipedia!

Search