definite clause

definite clause

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