one(X).

equalize(X,0).

equalize(X,Y).

equalize([1, X], [Y, 2]).

equalize([1, X], [X, Y]).

equalize(X, s(X)).

equalize([X, X], [[Y, Y], [0, Z]]).

equalize([X, X], [[U, V], [V, U]]).