Prolog is a programming language that uses first order logic. It is the most used logic programming language. It is a declarative programming language. Alain Cormerauer, a French computer scientist created Prolog in the early 1970s.
p ɹ oʊ l ɑ ɡ WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ WORD_BOUNDARY p ɹ oʊ ɡ ɹ æ m ɪ ŋ WORD_BOUNDARY l æ ŋ ɡ w ɪ d̠ʒ WORD_BOUNDARY ð æ t WORD_BOUNDARY j uː z ɪ z WORD_BOUNDARY f ɜː s t WORD_BOUNDARY ɔ ɹ d ə ɹ WORD_BOUNDARY l ɑ d̠ʒ ɪ k WORD_BOUNDARY ɪ t WORD_BOUNDARY ɪ z WORD_BOUNDARY ð ə WORD_BOUNDARY m oʊ s t WORD_BOUNDARY j uː z d WORD_BOUNDARY l ɑ d̠ʒ ɪ k WORD_BOUNDARY p ɹ oʊ ɡ ɹ æ m ɪ ŋ WORD_BOUNDARY l æ ŋ ɡ w ɪ d̠ʒ WORD_BOUNDARY ɪ t WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ WORD_BOUNDARY d ɪ k l æ ɹ ə t ɪ v WORD_BOUNDARY p ɹ oʊ ɡ ɹ æ m ɪ ŋ WORD_BOUNDARY l æ ŋ ɡ w ɪ d̠ʒ WORD_BOUNDARY ʌ l eɪ n WORD_BOUNDARY k ɔ ɹ m ə ɹ ɹ aʊ ə ɹ ɹ WORD_BOUNDARY ʌ WORD_BOUNDARY f ɹ ɛ n t̠ʃ WORD_BOUNDARY k ə m p j uː t ə ɹ WORD_BOUNDARY s aɪ ə n t ɪ s t WORD_BOUNDARY k ɹ iː eɪ t ɪ d WORD_BOUNDARY p ɹ oʊ l ɑ ɡ WORD_BOUNDARY ɪ n ð ɪ WORD_BOUNDARY ɜː l i WORD_BOUNDARY n aɪ n t iː n h ʌ n d ɹ ɪ d WORD_BOUNDARY s ɛ v ə n t i WORD_BOUNDARY z WORD_BOUNDARY