Consider the following pair of expressions:
lives_in(X, a_town, works_in(X,a_university))
lives_in(karen, Y, works_in(X, Z))
Try to unify this pair of expressions; then either show the mostgeneral unifier or explain why they will not unify.
Expert Answer
An answer will be send to you shortly. . . . .