最一般合一子

（计算机科学技术）

最一般合一子（most general unifier），计算机科学技术名词，一个合一子称为是最一般的，如果其他的合一子均可从它得到。