Prolog Language
Логическая чистота

диф / 2

Предикат dif/2 является чистым предикатом: он может использоваться во всех направлениях и со всеми шаблонами создания, всегда означает, что его два аргумента различны .

CLP (FD)

Ограничения CLP (FD) - это полностью чистые отношения. Они могут использоваться во всех направлениях для декларативной целочисленной арифметики:

?- X #= 1+2.
X = 3.

?- 3 #= Y+2.
Y = 1.

унификация

Объединение - это чистое отношение. Он не создает побочных эффектов и может использоваться во всех направлениях, причем один или оба аргумента полностью или только частично созданы.

В Prolog может произойти объединение

• явно , используя встроенные предикаты, такие как (=)/2 или unify_with_occurs_check/2
• неявно , когда унификация используется для выбора подходящего предложения.