conjunction of positive literals is logically implied by D if and only if P is true in M. The minimal model semantics of Horn clauses is the basis for the stable model semantics of logic programs. Notes See also Propositional calculus References Logic in computer science Normal forms (logic)