Cтраница 1
Предикаты ( функции, элементы), сопоставленные символам из а, обозначаем теми же символами. [1]
Предикаты определяем произвольным образом. [2]
Предикаты ( см. Определение 2.2.1) выражают отношения и свойства термов. [3]
Предикат member применяется для проверки вхождения произвольного элемента в состав некоторого списка. Этот предикат встроен в большинство редакций ПРОЛОГа. [4]
Предикат append встроен в большинство редакций и версий ПРО-ЛОГа. Некоторые другие предикаты, применяемые для обработки списков, представлены в упражнениях. [5]
Предикат assert употребляется для внесения в программу фактов и правил. [6]
Предикат read применяется для ввода символьной информации с клавиатуры. [7]
Предикат read ( X) всегда завершается успешно, проводя унификацию переменной X с последовательностью входных символов. [8]
Предикат сопзиГЬ ( файл) применяется для прочтения ПРОЛОГ-про-граммы из заданного файла. [9]
Предикат integer успешно выполняется, если X является целым числом. [10]
Предикат real ( X) выполняется, если X - действительное число. [11]
Предикат atomCJO выполняется, если X - атом. [12]
Предикат atomic ( X) выполняется, если X - атом или число. [13]
Предикаты для арифметических операций и различных видов равенств встроены в большинство редакций ПРОЛОГа и представлены в виде операторов, имеющих определенные описания приоритета, позиции и ассоциативности. [14]
Предикат append определяет отношение между входным набором и выходным набором таким образом, что отношение применимо в обоих направлениях. Состояние аргументов при вызове предиката передается как поток параметров. [15]