通代算法的英文翻译

中文:通代算法

英文翻译:【计】 unification algorithm