Jawaban:
Mengingat bahwa kecerdasan buatan telah menjadi upaya akademis sejak lama, Prolog adalah salah satu bahasa awal yang digunakan sebagai bagian dari penelitian dan penerapannya. Ini jarang membuat jalan ke aplikasi komersial besar, karena mengatakan bahwa, implementasi komersial yang terkenal adalah di Watson, di mana prolog digunakan untuk NLP .
The University of Edinburgh berkontribusi bahasa dan itu kadang-kadang disebut sebagai "Edinburgh Prolog". Itu masih digunakan dalam pengajaran akademik di sana sebagai bagian dari kursus kecerdasan buatan.
Alasan mengapa Prolog dianggap kuat dalam AI adalah karena bahasa memungkinkan untuk pengelolaan mudah metode rekursif, dan pencocokan pola.
Mengutip Adam Lally dari IBM Thomas J. Watson Research Center , dan Paul Fodor dari Stony Brook University :
bahasa Prolog sangat ekspresif memungkinkan aturan rekursif untuk mewakili jangkauan di pohon parse dan operasi negasi-sebagai-kegagalan untuk memeriksa tidak adanya kondisi.
Ya, sebagaimana disebutkan dalam jawaban lain, Prolog sebenarnya digunakan di IBM Watson. Prolog tidak mendapatkan banyak "hype" dan "buzz" hari ini, tetapi benar-benar masih digunakan. Seperti biasa, ia memiliki area spesifik tertentu di mana ia bersinar, dan teknik spesifik yang memetakan dengan baik untuk penggunaannya. Khususnya, hal-hal seperti Pemrograman Logika Induktif , Pemrograman Logika Kendala , Pemrograman Set Jawaban dan beberapa aplikasi NLP mungkin melibatkan penggunaan Prolog secara ekstensif.