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