**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