equal(X, X).
"="(andy, andy_2639).
"="(andreas, andy).

?- equal(andy_2639, X).