MGU是
·最一般合一\t
·最一般替换\t
·最一般谓词\t
·基替换
出自:佳木斯大学语言治疗学