填空題

合一算法：求非空有限具有相同謂詞名的原子公式集的（）。

答案： 最一般合一
微信掃碼免費(fèi)搜題