definite clause

A Horn clause that has exactly one positive literal.

1
Show
Maximize