Go backward to Solution to part (c)
Go up to 4 Unification
Solution to part (d)
To unify: ap(F0,c(b,c(B0,L0)),c(a,c(b,c(b,c(a,emp))))) and
ap(c(H1,T1),L1,c(H1,R1))
Unique mgu: {F0/c(a,T1),L1/c(b,c(B0,L0)),H1/a,R1/c(b,c(b,c(a,emp)))}
Computational
Intelligence online
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998