Compute the most general unifier (mgu) for each of the following pairs of atomic sentences, or explain why no mgu exists. (Recall that lowercase letters denote variables, and uppercase letters denote constants.) (a) Q(y, Gee(A,B)), Q(Gee(2, ), y). (b) Older(Father(y),y), Older(Father(2), John). (c) Knows(Father(y),y), Knows(1,0).
