A definite clause is a clause in DNF with exactly one positive literal and as such is also a Horn clause. For example, P or P∨¬Q.