eq(X,X).
?-eq(X,a).
