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