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