短语词组短语complete unification algorithm [计]完全一致算法;翻译;完全一致算法英语a unification algorithm 合一化算法extended unification algorithm 扩展的合一算法algorithm for unification [计]合一算法 返回 unification algorithm