% Query: p(g,f)
p(plus(X,0),X).
p(plus(X,s(Y)),s(Z)):- p(plus(X,Y),Z).
p(mul(X,0),0).
p(mul(X,s(Y)),Z):- p(plus(mul(X,Y),X),T).