问题 填空题

合一算法:求非空有限具有相同谓词名的原子公式集的()

答案

参考答案:最一般合一(MGU)

问答题
单项选择题