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. АТОМАРНЫЕ ФОРМУЛЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)