Prev Up Next
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.

  1. p(X,Y,a,b,W)
    p(E,c,F,G,F)
  2. p(X,Y,Y)
    p(E,E,F)
  3. p(Y,a,b,Y)
    p(c,F,G,F)
  4. ap(F0,c(b,c(B0,L0)),c(a,c(b,c(b,c(a,emp)))))
    ap(c(H1,T1),L1,c(H1,R1))
  • Solution to part (a)
  • Solution to part (b)
  • Solution to part (c)
  • Solution to part (d)

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

    Prev Up Next