definite clause
definite clause
in Technology
logic
A
Horn clause
that has exactly one positive literal.
(2000-01-24)