Unify the following pairs of expressions:
1.ancestor(X,Y) and ancestor(tom, father(tom))
2.q(X) and ¬q(b)