Prev Up Next
Go backward to Solution to part (b)
Go up to 4 Unification
Go forward to Solution to part (d)

Solution to part (c)

To unify: p(Y,a,b,Y) and p(c,F,G,F)

There is no unifier. We can't have c=Y=F=a; we can't have any substitution that makes these terms have be identical.

Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998

Prev Up Next