Сопоставление(унификация) – выполняет сравнение 2-х термов на равенство,
при этом неконретизир-е переменные получают значения, при которых термы
становятся идентичными. Встроенный предикат X=Y(явно), либо неявно при
сопоставлении цели с фактом или головой правила.
Сопоставление реализует: -однократное присваивание;
-передача параметров;
-создание структурных объектов;
-доступ к полям структурных объектов с возможностью одноврем. чтения/записи.
Правила выполнения сопоставления:
- неконкретизир-я переменная сопоставима с любым объектом и этот объект становится значением переем-ой;
- числа и атомы сопоставимы только с идентичными числами и атомами;
- структура сопоставима только, если они имеют одинаковый функтор, одинак.
число компонент, и соотв. компоненты сопоставимы друг с другом;
- неконр. перем-е сопоставимы друг с другом, при этом они становятся сцепл-ми.
Если одна получит какое-то значение, то и другая получит это же значение.
X\=Y терм X не сопоставим с термом Y. При исп. этого предиката необходимо, чтобы все переменные в термах X и Y были конретизир-ми, иначе рез-т будет зависеть от порядка целей в программе.
Эквивалентность(идентичность) – точное равенство термов, включая соответств.
расположения и индентичность неконретизир. перем-х. Предикат ==. Предикат
не выполняет конретизаций переем-х, неконретиз. переем-я не равна никакому
объекту, кроме другой неконретизир. перем-й, уже сцепл-ой с ней.
