Horn clause

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

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

Noun

[edit]

Horn clause (plural Horn clauses)

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

Further reading

[edit]
Retrieved from "https://en.wiktionary.org/w/index.php?title=Horn_clause&oldid=64966306"