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