g(X,Y,Z) :- g(X,W,Z), f(W,Z), f(Z,Z), f(Z,Y).