More unification changes in Prolog