Prolog
Язык логического программирования 1972 года (Ален Кольмерауэ, Марсель). Мир описывается фактами и правилами, затем задаются запросы — язык ищет ответы с помощью унификации и перебора с возвратом.
Стандарт в обучении ИИ в 80-х и 90-х. Его поддерживал японский проект «компьютеров пятого поколения» (1982–92). Сегодня в основном академический язык и узкие применения (проверка типов в Erlang, части IBM Watson). Самая распространённая реализация — SWI-Prolog.