Prolog Language
Purezza logica

dif / 2

Il predicato dif/2 è un predicato puro : può essere utilizzato in tutte le direzioni e con tutti i modelli di istanziazione, sempre nel senso che i suoi due argomenti sono diversi .

Vincoli CLP (FD)

I vincoli CLP (FD) sono relazioni completamente pure. Possono essere utilizzati in tutte le direzioni per l'aritmetica dichiarativa intera:

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

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

Unificazione

L'unificazione è una pura relazione. Non produce effetti collaterali e può essere utilizzato in tutte le direzioni, con uno o entrambi gli argomenti completamente o solo parzialmente istanziati.

In Prolog, può avvenire l'unificazione

• esplicitamente , usando predicati integrati come (=)/2 o unify_with_occurs_check/2
• implicitamente , quando l'unificazione viene utilizzata per selezionare una clausola adatta.