?最一般合一
...设是公式集S的一个合一，如果对S的任 何一个合一，都存在一个替换，使得＝ ， 则称为S的一个最一般合一（Most General Unifier），简称MGU。
最一般合一算法
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。