definite clause

(logic)   A Horn clause that has exactly one positive literal.

Last updated: 2000-01-24


Loading