логическое вводное устройство В интерактивной графике - совокупность процедур, с помощью которых прикладная программа взаимодействует с пользователем. Процедуры различных логических вводных устройства обеспечивают ввод координат одной или нескольких позиций, ввод числового значения, ввод текстовой строки, выбор сегмента изображения или пункта меню. В конкретной графической системе логическое вводное устройство может использовать различные физические устройства.
English-Russian Computer dictionary
n - order logic
исчисление предикатов Энного порядка Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1. Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.
English-Russian Computer dictionary
programming in logic
Пролог Язык программирования, основанный на исчислении предикатов и используемый в задачах искусственного интеллекта. Программа на Прологе представляет собой совокупность утверждений и правил. Утверждения состоят из предикатов, логических связок и констант и образуют базу данных. Правила (дизъюнкты Хорна) имеют вида A если B1 и B2 и ... Bk, где A и Bi - предикаты содержащие переменные. Выполнение программы на Прологе инициируется запросом, состоящим из предикатов, логических связок, констант и переменных.