Definite-clause definition

(logic) A Horn clause with exactly one positive literal.

The clauses , and are examples of definite clauses. At least in classical logic these would be equivalent to the formulae , and , respectively.

noun
0
1
Advertisement

Other Word Forms

Noun

Singular:
definite-clause
Plural:
definite clauses