Пролог — это не только вступление, но и язык программирования, оказавший большое влияние на развитие ИИ. Он был предложен профессором Экс-Марсельского университета Аленом Кольмерауэром. Появившись в 1972 году, Prolog быстро стал самым популярным воплощением концепции логического программирования.

В программах на Prolog нет жёсткой последовательности действий. Вместо неё задаётся набор известных фактов (предикатов), составляющих базу знаний. Обращаясь к программе, пользователь отправляет запрос к её базе знаний. На основе системы фактов и правил вывода программа пытается доказать или опровергнуть некоторое утверждение об объектах и их связях, содержащееся в запросе.

Например, в программе на Prolog есть записи о видах деятельности разных компаний:
область_деятельности(КРИПТОНИТ, ИИ)
область_деятельности(КРИПТОНИТ, ИБ)
область_деятельности(ДРУГАЯКОМПАНИЯ, ИИ)
область_деятельности(ДРУГАЯКОМПАНИЯ, телеком)
область_деятельности(ЕЩЁКОМПАНИЯ, ритейл)

Пользователь хочет узнать, какие компании занимаются разработкой в области ИИ. Для этого он отправляет запрос:
?область_деятельности(X, ИИ)

И получает ответ следующей структуры:
X = КРИПТОНИТ, ДРУГАЯКОМПАНИЯ

Полнота ответа зависит от актуальности базы знаний, а его стиль — от заданного шаблона унификации логического вывода.

В 1996 году Prolog был описан в стандарте ISO/IEC JTC1/SC22/WG17 и продолжает развиваться в настоящее время.