Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.cplire.ru/Lab144/1251/01060102.html
Дата изменения: Mon Sep 24 14:54:40 2007
Дата индексирования: Tue Oct 2 02:38:02 2012
Кодировка: Windows-1251
Поисковые слова: m 8
Actor Prolog. Programming language definition.

6.1.2. БИНАРНЫЕ ОТНОШЕНИЯ

"Бинарным отношением" называется атомарная формула, состоящая из двух аргументов, соединенных оператором отношения:

 бинарное_отношение =
    терм_или_выражение оператор_отношения терм_или_выражение

В качестве знаков операций в бинарных отношениях используются имена встроенных предикатов '==' и ':=', а также некоторые знаки операций сравнения:

 оператор_отношения =
    "==" | ":=" | "<" | ">" | "<>" | "<=" | ">="

Бинарное отношение, в состав которого входит такой знак операции, эквивалентно обозначению вида

функтор(аргумент1,аргумент2),

где функтор - знак операции, заключенный в апострофы, аргумент1 и аргумент2 - операнды, стоящие соответственно слева и справа от знака операции.

Ссылки: атом 6.1, бинарное отношение 6.1.2, встроенный предикат 8, оператор отношения 6.1.2, терм или выражение 3.2.1, функтор 3, ':=' 8.1, '==' 3.3.

Следующий: 6.1.3. ОБЪЯВЛЕНИЯ ФУНКЦИЙ
Предыдущий: 6.1.1. ПРОСТЫЕ АТОМЫ

6.1. АТОМАРНЫЕ ФОРМУЛЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)