definite clause
<logic>
A Horn clause that has exactly one positive literal.
Last updated: 2000-01-24
definite sentence
<logic>
A collection of definite clauses.
Last updated: 2003-12-04
Nearby terms:
deferral ♦ definite clause ♦ definite sentence ♦ definitional constraint programming
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
