Cтраница 1
Предикатное имя Элем не следует путать с предикатным именем Конкр из § 3.1.5. Принадлежность к типу - не то, что к множеству: Элем ( Посылка-8, посылки) принадлежность к множеству почтовых посылок, тогда как Конкр ( Посылка-8, посылка) - к абстрактному типу почтовая посылка. [1]
Предикатные имена, переменные и константы языка Пролог представляются последовательностью алфавитных символов, которые начинаются с буквы. Переменная представляется строкой алфавитных символов, начинающейся с заглавной буквы, а предикатные имена и константы представляются строками, начинающимися со строчных букв. Как видно из приведенной таблицы, логические связки исчисления предикатов также присутствуют в синтаксисе языка Пролог. [2]
Таким образом, предикатное имя Конкр означает: является элементом некоторого типа. Иногда этот предикат обозначают так: Есть некий. [3]
Предикатное имя Элем не следует путать с предикатным именем Конкр из § 3.1.5. Принадлежность к типу - не то, что к множеству: Элем ( Посылка-8, посылки) принадлежность к множеству почтовых посылок, тогда как Конкр ( Посылка-8, посылка) - к абстрактному типу почтовая посылка. [4]
БД вычисляет факториал, но fact не исполнимый. Это предикатное имя не может появляться в арифметических выражениях. [5]
Они задают правила соединения констант и переменных, например правила грамматики, процедуры, математические операции. Для предикатных имен используются символы наподобие следующих: Фраза, Посылать, Писать, Плюс, Разделить. Предикатное имя иначе называется предикатной константой. [6]
Любой унарный предикат можно преобразовать в бинарный следующим образом. Унарный предикат состоит из предикатного имени и значения своего единственного аргумента. [7]
Предикатные имена, переменные и константы языка Пролог представляются последовательностью алфавитных символов, которые начинаются с буквы. Переменная представляется строкой алфавитных символов, начинающейся с заглавной буквы, а предикатные имена и константы представляются строками, начинающимися со строчных букв. Как видно из приведенной таблицы, логические связки исчисления предикатов также присутствуют в синтаксисе языка Пролог. [8]
Они задают правила соединения констант и переменных, например правила грамматики, процедуры, математические операции. Для предикатных имен используются символы наподобие следующих: Фраза, Посылать, Писать, Плюс, Разделить. Предикатное имя иначе называется предикатной константой. [9]
Они имеют от одного до п аргументов и соответствуют всем возможным проекциям отношения. Модельный предикат истинен, если набор значений его аргументов совпадает с каким-либо кортежем соответствующей проекции. Чтобы не создавать много предикатных имен, каждый модельный предикат идентифицируется именем отношения и атрибутами, которые определяют проекцию, связанную с этим предикатом. [10]