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

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块