(Solved) : Consider Following Pair Expressions Livesin X Atown Worksin X Auniversity Livesin Karen Y Q33064508 . . .
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
Answer to Consider Following Pair Expressions Livesin X Atown Worksin X Auniversity Livesin Karen Y Q33064508 . . .
OR