"Бинарным отношением" называется атомарная формула, состоящая из двух аргументов, соединённых оператором отношения:
бинарное_отношение =
терм_или_выражение оператор_отношения терм_или_выражение
В качестве знаков операций в бинарных отношениях используются имена встроенных предикатов '==' и ':=', а также некоторые знаки операций сравнения:
оператор_отношения =
"==" | ":=" | "<" | ">" | "<>" | "<=" | ">="
Бинарное отношение, в состав которого входит такой знак операции, эквивалентно обозначению вида
где функтор - знак операции, заключённый в апострофы, аргумент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. АТОМАРНЫЕ ФОРМУЛЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)