Have a quick question regarding m.g.u (most general unifier) in prolog.
We are asked what the m.g.u is of:
f(X, g(Y, h(Z))) = f(Z, g(P, h(a))).
