Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing


  • 3 years ago

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).

  • This Question is Open

    Not the answer you are looking for?
    Search for more explanations.

    • Attachments:

Ask your own question

Sign Up
Find more explanations on OpenStudy
Privacy Policy