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