definite clause
definite clause · definite clauses
A Horn clause with exactly one positive literalA Horn clause with exactly one positive literal.
Meaning
1 sensesA Horn clause with exactly one positive literal.
Forms
plural: definite clauses| Singular | definite clause |
|---|---|
| Plural | definite clauses |
regular