Prolog Language
Pureté logique

dif / 2

Le prédicat dif/2 est un prédicat pur : il peut être utilisé dans toutes les directions et avec tous les modèles d'instanciation, ce qui signifie toujours que ses deux arguments sont différents .

Contraintes CLP (FD)

Les contraintes CLP (FD) sont des relations complètement pures. Ils peuvent être utilisés dans toutes les directions pour l'arithmétique entière déclarative:

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

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

Unification

L'unification est une relation pure . Il ne produit pas d'effets secondaires et peut être utilisé dans toutes les directions, avec l'un des arguments ou les deux complètement ou seulement instanciés.

Dans Prolog, l'unification peut se produire

• explicitement , en utilisant des prédicats intégrés comme (=)/2 ou unify_with_occurs_check/2
• implicitement , lorsque l'unification est utilisée pour sélectionner une clause appropriée.