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