eq(X,X).
(eq(a,X),eq(b,Y) -> eq(X,Y)) if [a>=X, b>=Y, X>Y].
(eq(a,X) -> eq(b,X)) if [a>=X, b>X].
(eq(a,X),eq(b,X) -> []) if [a>=X,b>=X].

precedence([a,b]).
:-saci([2]),sama([]).