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

Other Word Forms

Singular:

definite-clause

Plural:

definite clauses