Up Next
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

Up Next