Answer Happy

Posted: **Wed Apr 27, 2022 3:38 pm**

: 3 Attempt To Unify The Following Pairs Of Expressions Either Show Their Most General Unifiers Or Explain Why They Will 1 (23.8 KiB) Viewed 48 times

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)