EXPRESIONES

Prolog cuenta con operadores para la unificación y comparación, sea con evaluación o sea simbólica, como los siguientes:

X is Y %unificación con evaluación.
X = Y %unificación simbólica
X=:=Y %comparación con evaluación
X == Y %comparación simbólica.
?- X is 3+5.
X = 8

?- X = 3+5.
X = 3+5

?- 3+5 =:= 2+6.
yes

?- 3+5 == 2+6.
no

?- 3+5 == 3+5.
yes