definite clause

<logic> A Horn clause that has exactly one positive literal.

Last updated: 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

Loading