Learning unification