**Go backward to **3 Proofs and Logical Consequences (ground)

**Go up to **Top

**Go forward to **5 Proofs (with variables)

# 4 Unification

For each of the following pairs of atoms, either give a most
general unifier, or explain why one doesn't exist.

*p(X,Y,a,b,W)*

*p(E,c,F,G,F)*
*p(X,Y,Y)*

*p(E,E,F)*
*p(Y,a,b,Y)*

*p(c,F,G,F)*
*ap(F0,c(b,c(B0,L0)),c(a,c(b,c(b,c(a,emp)))))*

*ap(c(H1,T1),L1,c(H1,R1))*

Computational
Intelligence online
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998