短語詞組短語complete unification algorithm [計]完全一致算法;翻譯;完全一致算法英語a unification algorithm 合一化算法extended unification algorithm 擴展的合一算法algorithm for unification [計]合一算法 返回 unification algorithm