most general unifier

most general unifier是什么意思、most general unifier怎么读
【计】 最广通代

most general unifier汉语翻译

【计】 最广通代