Prolog also uses Horn clauses. It is a turing-complete programming language.= = = Graupel = = =
p ɹ oʊ l ɑ ɡ WORD_BOUNDARY ɔ l s oʊ WORD_BOUNDARY j uː s ɪ z WORD_BOUNDARY h ɔ ɹ n WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY ɪ t WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ WORD_BOUNDARY t j ʊ ɹ ɹ ɪ ŋ k ə m p l iː t WORD_BOUNDARY p ɹ oʊ ɡ ɹ æ m ɪ ŋ WORD_BOUNDARY l æ ŋ ɡ w ɪ d̠ʒ WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY ɡ ɹ ɔ p ɛ l WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY