No most general unifier?

55 Views Asked by Bumbble Comm At 23 Feb 2026 - 8:20

I have the task to find a most general unifier of these 2 terms:

f(x, f(g(x),y))
f(g(y), f(g(z),z))

I applied the unification algorithm until almost everything was dissolved and I got to this point:

g(z) = z

Is this right? My idea was, that there is no MGU, because replacing z with g(z) would mean we get something like this:

g(g(z)) = g(z)

Is this correct or did I mess up something?

Thanks!