Horn-clause Definition

noun

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

Wiktionary

Other Word Forms of Horn-clause

Noun

Singular:
horn-clause
Plural:
horn-clauses

Origin of Horn-clause

  • After the logician Alfred Horn.

    From Wiktionary

Find Similar Words

Find similar words to horn-clause using the buttons below.

Words Starting With

Words Ending With

Unscrambles

horn-clause