%1
f(U,V,f(X,Y,Z)) = f(f(U,V,X),Y,f(U,V,Z)).
%2
f(Y,X,X) = X.
%-3
f(a,b,g(b)) = a -> [].
%4
f(X,X,Y) = X.
%5
f(g(Y),Y,X) = X.

precedence([g,f,a,b,c,d,e]).

:-sarp([1-9]).

/*



*/