3. Attempt to unify the following pairs of expressions. Either show their most general unifiers or explain why they will
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
3. Attempt to unify the following pairs of expressions. Either show their most general unifiers or explain why they will
3. 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)q(X) and (a)
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!