Go backward to 3 Proofs and Logical Consequences (ground)
Go up to Top
Go forward to 5 Proofs (with variables)
For each of the following pairs of atoms, either give a most
general unifier, or explain why one doesn't exist.
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998