Got Homework?
Connect with other students for help. It's a free community.
Here's the question you clicked on:
← 55 members online
 0 viewing
matmeister
Group Title
Q.5. Attempt to unify the following pairs of expressions. Either show their most general unifiers or explain why they will not unify.
a. p(X,Y) and p(a,Z)
b. p(X,X) and p(a,b)
c. ancestor(X,Y) and ancestor(bill,father(bill))
d. ancestor(X,father(X)) and ancestor(david,george)
e. q(X) and ﬧq(a).
 one year ago
 one year ago
matmeister Group Title
Q.5. Attempt to unify the following pairs of expressions. Either show their most general unifiers or explain why they will not unify. a. p(X,Y) and p(a,Z) b. p(X,X) and p(a,b) c. ancestor(X,Y) and ancestor(bill,father(bill)) d. ancestor(X,father(X)) and ancestor(david,george) e. q(X) and ﬧq(a).
 one year ago
 one year ago

This Question is Open
See more questions >>>
Your question is ready. Sign up for free to start getting answers.
spraguer
(Moderator)
5
→ View Detailed Profile
is replying to Can someone tell me what button the professor is hitting...
23
 Teamwork 19 Teammate
 Problem Solving 19 Hero
 Engagement 19 Mad Hatter
 You have blocked this person.
 ✔ You're a fan Checking fan status...
Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.