4 Computational Logic: The Unification Computation J. A. Robinson