definite clause
<logic> A Horn clause that has exactly one positive literal.
(2000-01-24)
Nearby terms:
Defense Information Systems Agency « Defense Trade
Regulations « deferral « definite clause »
definite sentence » definitional constraint
programming » deflate
|