Word.ws English Dictionary

Horn clause

Horn clause noun: a clause (disjunction of literals) with at most one positive literal.

Noun

Horn clause (plural Horn clauses)

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

Forms of Horn clause

pluralHorn clauses

Origin of Horn clause

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

Questions about Horn clause

What does Horn clause mean?
Horn clause means a clause (disjunction of literals) with at most one positive literal.
What part of speech is Horn clause?
Horn clause is a noun.
What is the plural of Horn clause?
The plural of Horn clause is Horn clauses.

Words near Horn clause in the dictionary

  1. horn antennae
  2. horn antennas
  3. horn ball
  4. horn book
  5. horn books
  6. Horn clause
  7. Horn clauses
  8. horn coral
  9. horn corals
  10. horn dog
  11. horn dogs

Source and license

Adapted from Wiktionary: Horn clause (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Horn clause.” Word.ws, https://word.ws/horn_clause. Based on Wiktionary, CC BY-SA 4.0.