Нет, и вот почему:
ИИ — это научная область
Пролог — Тьюринг полный язык
Значит, любые алгоритмы на Прологе, которые решают какие-либо задачи в области ИИ, могут быть написаны и на любом другом Тьюринг-полном языке (С++, Java, Python, etc).
Обязательно к прочтению:
Artificial Intelligence: A Modern Approach 
