Van Emden and Kowalski (1976) investigated the model theoretic properties of Horn clauses in the context of logic programming, showing that every set of definite clauses D has a unique minimal model M. An atomic formula A is logically implied by D if and only if A is true in M. It follows that a problem P represented by an existentially quantified 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.
v æ n WORD_BOUNDARY ɛ m d ɛ n WORD_BOUNDARY æ n d WORD_BOUNDARY k aʊ ɔ l s k i WORD_BOUNDARY n aɪ n t iː n h ʌ n d ɹ ɪ d WORD_BOUNDARY s ɛ v ə n t i WORD_BOUNDARY s ɪ k s WORD_BOUNDARY ɪ n v ɛ s t ɪ ɡ eɪ t ɪ d WORD_BOUNDARY ð ə WORD_BOUNDARY m ɑ d ə l WORD_BOUNDARY θ iə ɹ ɛ t ɪ k WORD_BOUNDARY p ɹ ɑ p ə ɹ t i z WORD_BOUNDARY ʌ v WORD_BOUNDARY h ɔ ɹ n WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY ɪ n ð ə WORD_BOUNDARY k ɑ n t ɛ k s t WORD_BOUNDARY ʌ v WORD_BOUNDARY l ɑ d̠ʒ ɪ k WORD_BOUNDARY p ɹ oʊ ɡ ɹ æ m ɪ ŋ WORD_BOUNDARY ʃ oʊ ɪ ŋ WORD_BOUNDARY ð æ t WORD_BOUNDARY ɛ v ɹ i WORD_BOUNDARY s ɛ t WORD_BOUNDARY ʌ v WORD_BOUNDARY d ɛ f ɪ n ə t WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY d iː WORD_BOUNDARY h ʌ z WORD_BOUNDARY ʌ WORD_BOUNDARY j uː n iː k WORD_BOUNDARY m ɪ n ɪ m ə l WORD_BOUNDARY m ɑ d ə l WORD_BOUNDARY ɛ m WORD_BOUNDARY ʌ n WORD_BOUNDARY ʌ t ɑ m ɪ k WORD_BOUNDARY f ɔ ɹ m j ʊ l ə WORD_BOUNDARY ʌ WORD_BOUNDARY ɪ z WORD_BOUNDARY l ɑ d̠ʒ ɪ k l i WORD_BOUNDARY ɪ m p l aɪ d WORD_BOUNDARY b aɪ WORD_BOUNDARY d iː WORD_BOUNDARY ɪ f WORD_BOUNDARY æ n d WORD_BOUNDARY oʊ n l i WORD_BOUNDARY ɪ f WORD_BOUNDARY ʌ WORD_BOUNDARY ɪ z WORD_BOUNDARY t ɹ uː WORD_BOUNDARY ɪ n WORD_BOUNDARY ɛ m WORD_BOUNDARY ɪ t WORD_BOUNDARY f ɑ l oʊ z WORD_BOUNDARY ð æ t ə WORD_BOUNDARY p ɹ ɑ b l ə m WORD_BOUNDARY p iː WORD_BOUNDARY ɹ ɛ p ɹ ɪ z ɛ n t ɪ d WORD_BOUNDARY b aɪ WORD_BOUNDARY ʌ n WORD_BOUNDARY ɛ ɡ z ɪ s t ɛ n ʃ ə l i WORD_BOUNDARY k w ɔ n t ɪ f aɪ d WORD_BOUNDARY k ə n d̠ʒ ʌ ŋ k ʃ ə n WORD_BOUNDARY ʌ v WORD_BOUNDARY p ɑ z ɪ t ɪ v WORD_BOUNDARY l ɪ t ə ɹ ɹ ə l z WORD_BOUNDARY ɪ z WORD_BOUNDARY l ɑ d̠ʒ ɪ k l i WORD_BOUNDARY ɪ m p l aɪ d WORD_BOUNDARY b aɪ WORD_BOUNDARY d iː WORD_BOUNDARY ɪ f WORD_BOUNDARY æ n d WORD_BOUNDARY oʊ n l i WORD_BOUNDARY ɪ f WORD_BOUNDARY p iː WORD_BOUNDARY ɪ z WORD_BOUNDARY t ɹ uː WORD_BOUNDARY ɪ n WORD_BOUNDARY ɛ m WORD_BOUNDARY ð ə WORD_BOUNDARY m ɪ n ɪ m ə l WORD_BOUNDARY m ɑ d ə l WORD_BOUNDARY s ə m æ n t ɪ k s WORD_BOUNDARY ʌ v WORD_BOUNDARY h ɔ ɹ n WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY ɪ z WORD_BOUNDARY ð ə WORD_BOUNDARY b eɪ s ɪ s WORD_BOUNDARY f ə ɹ ð ə WORD_BOUNDARY s t eɪ b ə l WORD_BOUNDARY m ɑ d ə l WORD_BOUNDARY s ə m æ n t ɪ k s WORD_BOUNDARY ʌ v WORD_BOUNDARY l ɑ d̠ʒ ɪ k WORD_BOUNDARY p ɹ oʊ ɡ ɹ æ m z WORD_BOUNDARY