информационно-новостной портал
Главная / Статьи / Информатика / Программирование /

Сопоставление, эквивалентность

Сопоставление(унификация) – выполняет сравнение 2-х термов на равенство,

при этом неконретизир-е переменные получают значения, при которых термы 

становятся идентичными. Встроенный предикат X=Y(явно), либо неявно при

сопоставлении цели с фактом или головой правила.

Сопоставление реализует: -однократное присваивание;

 -передача параметров;

 -создание структурных объектов;

 -доступ к полям структурных объектов с возможностью одноврем. чтения/записи.  

 Правила выполнения сопоставления:

- неконкретизир-я переменная сопоставима с любым объектом и этот объект становится значением переем-ой;

- числа и атомы сопоставимы только с идентичными числами и атомами;

- структура сопоставима только, если они имеют одинаковый функтор, одинак.

число компонент, и соотв. компоненты сопоставимы друг с другом;

- неконр. перем-е сопоставимы друг с другом, при этом они становятся сцепл-ми.

Если одна получит какое-то значение, то и другая получит это же значение.

X\=Y терм X не сопоставим с термом Y. При исп. этого предиката необходимо, чтобы все переменные в термах X и Y были конретизир-ми, иначе рез-т будет зависеть от порядка целей в программе.

Эквивалентность(идентичность) – точное равенство термов, включая соответств.

расположения и индентичность неконретизир. перем-х. Предикат ==. Предикат

не выполняет конретизаций переем-х, неконретиз. переем-я не равна никакому

объекту, кроме другой неконретизир. перем-й, уже сцепл-ой с ней.

Просмотров: 722 | Дата добавления: 08.02.2016