Home / Dictionary / Horn clause

Horn clause Uncommon

Definition, synonyms and related words

Definitions
Noun
1

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

See Also
positive clause literal quasiidentity definite clause disjunction
Related Terms
Rhyming Words
use cuse duse fuse euse ruse muse suse ause ouse zuse cause v use meuse kouse couse bouse druse mouse pause
Compare
Horn clause vs