1. Engineering
  2. Computer Science
  3. question 3 consider the following pair of expressions livesinx athabascatown...

Question: question 3 consider the following pair of expressions livesinx athabascatown...

Question details

Question 3

Consider the following pair of expressions:

lives_in(X, athabasca_town, works_in(X, athabasca_university))

lives_in(karen, Y, works_in(X, Z))

Try to unify this pair of expressions; then either show the most general unifier or explain why they will not unify.

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution