definite clause

<logic>

A Horn clause that has exactly one positive literal.

Last updated: 2000-01-24

Nearby terms:

deferraldefinite clausedefinite sentencedefinitional constraint programming

Try this search on Wikipedia, OneLook, Google


Loading