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