quería hacer comparaciones de dos predicados, ejemplo: A=s(s(s(0))) y B=s(s(s(s(s(0))) donde la condicion correcta es A <= B, no sé como tengo que realizar esto, pero si que tengo la mente clara de que se trata de una unify pero no se como representarlo en codigos.
mis codigos:
comparar_dimensiones(A,E):-
A=X,
E=Y,
X=Y.
Sé que esto está mal.