PROLOG

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