definite clause

A Horn clause that has exactly one positive literal.