短语词组短語complete unification algorithm [計]完全一致算法;繙譯;完全一致算法英語a unification algorithm 郃一化算法extended unification algorithm 擴展的郃一算法algorithm for unification [計]郃一算法 返回 unification algorithm