horn clause

H h

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definitions of horn clause words

noun Technical meaning of horn clause (logic) A set of atomic literals with at most one positive literal. Usually written L <- L1, ..., Ln or <- L1, ..., Ln where n>=0, "<-" means "is implied by" and comma stands for conjuction ("AND"). If L is false the clause is regarded as a goal. Horn clauses can express a subset of statements of first order logic. The name "Horn Clause" comes from the logician Alfred Horn, who first pointed out the significance of such clauses in 1951, in the article "On sentences which are true of direct unions of algebras", Journal of Symbolic Logic, 16, 14-21. A definite clause is a Horn clause that has exactly one positive literal. 1
noun horn clause (logic) A clause (disjunction of literals) with at most one positive literal. 0

See all 2 definitions of horn clause

Information block about the term

Parts of speech for Horn clause

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Horn clause

See also

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?