Prolog, programming in logic Язык программирования, основанный на исчислении предикатов и используемый в задачах искусственного интеллекта. Программа на Прологе представляет собой совокупность утверждений и правил. Утверждения состоят из предикатов, логических связок и констант и образуют базу данных. Правила (дизъюнкты Хорна) имеют вида "A если B1 и B2 и ... Bk", где A и Bi - предикаты содержащие переменные. Выполнение программы на Прологе инициируется запросом, состоящим из предикатов, логических связок, констант и переменных.