Horn clause

Noun

Meaning

Horn clause (plural Horn clauses)

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

Source: en.wiktionary.org

Examples

A clause is called Horn clause if it contains at most one positive literal. Source: Internet

Negation as failure main For most practical applications, as well as for applications that require non-monotonic reasoning in artificial intelligence, Horn clause logic programs need to be extended to normal logic programs, with negative conditions. Source: Internet

Close letter words and terms

horn antenna horn book horn button horn coral horn dog horn drum