Wiktionary
definite clause
n. (context logic English) A Horn clause with exactly one positive literal.