Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication:
h ɔ ɹ n WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY ɑ ɹ WORD_BOUNDARY ɔ l s oʊ WORD_BOUNDARY ð ə WORD_BOUNDARY b eɪ s ɪ s WORD_BOUNDARY ʌ v WORD_BOUNDARY l ɑ d̠ʒ ɪ k WORD_BOUNDARY p ɹ oʊ ɡ ɹ æ m ɪ ŋ WORD_BOUNDARY w ɛ ɹ WORD_BOUNDARY ɪ t WORD_BOUNDARY ɪ z WORD_BOUNDARY k ɑ m ə n WORD_BOUNDARY t ə WORD_BOUNDARY ɹ aɪ t WORD_BOUNDARY d ɛ f ɪ n ə t WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY ɪ n ð ə WORD_BOUNDARY f ɔ ɹ m WORD_BOUNDARY ə v ə n WORD_BOUNDARY ɪ m p l ɪ k eɪ ʃ ə n WORD_BOUNDARY