合一算法：求非空有限具有相同谓词名的原子公式集的（） - 填空题 - 看答案网

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

参考答案

最一般合一（MGU）

您可能感兴趣的相关题目