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