- Engineering
- Computer Science
- 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
