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