<logic> A collection of definite clauses.
(2003-12-04)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Defense Trade Regulations « deferral « definite clause « definite sentence » definitional constraint programming » deflate » deflate compression
