Here's the question you clicked on:
matmeister
Q.5. Attempt to unify the following pairs of expressions. Either show their most general unifiers or explain why they will not unify. a. p(X,Y) and p(a,Z) b. p(X,X) and p(a,b) c. ancestor(X,Y) and ancestor(bill,father(bill)) d. ancestor(X,father(X)) and ancestor(david,george) e. q(X) and ﬧq(a).