Computational logic: the unification computation