Prolog Language
Czystość logiczna

dif / 2

Predykat dif/2 jest czystym predykatem: może być używany we wszystkich kierunkach i ze wszystkimi wzorcami tworzenia instancji, zawsze oznacza to, że jego dwa argumenty są różne .

Ograniczenia CLP (FD)

Ograniczenia CLP (FD) są relacjami całkowicie czystymi. Mogą być używane we wszystkich kierunkach dla deklaratywnej arytmetyki liczb całkowitych:

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

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

Zjednoczenie

Zjednoczenie to czysta relacja. Nie wywołuje skutków ubocznych i może być stosowany we wszystkich kierunkach, z jednym lub obydwoma argumentami w całości lub tylko częściowo.

W Prologu może dojść do unifikacji

• jawnie , używając wbudowanych predykatów takich jak (=)/2 lub unify_with_occurs_check/2
• pośrednio , gdy do wybrania odpowiedniej klauzuli stosuje się unifikację.