Cyclic terms unification `X=f(f(X), X), Y=f(Y, f(Y)), X = Y. `

[kuniaki.mukai]

@anon95304481

?- icl_order(C, X, 1).
C = (<),
X = [_, _-_|_].

Did you mean this ?

?- icl_compare(C, X, 1).
%@ C = (<).