Go up to 4 Unification
Go forward to Solution to part (b)
Solution to part (a)
To unify: p(X,Y,a,b,W) and
p(E,c,F,G,F)
One mgu: {X/E,Y/c,F/a,G/b,W/a}.
Another mgu: {X/Z,E/Z,Y/c,F/a,G/b,W/a}.
Computational
Intelligence online
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998