Exercise 12.10 For each of the following pairs of atoms, either give a most general unifier or explain why one does not exist:

(a) p(X, Y,

a, b,W)

p(E,

c, F,G, F)

(b) p(X, Y, Y)

p(E, E, F)

(c) p(Y,

a, b, Y)

p

(c, F,G, F)

(d) ap(F0, c

(b, c(B0, L0)), c

(a, c

(b, c

(b, c

(a, emp)))))

ap(c(H1, T1), L1, c(H1, R1))