问题 更新时间2023/4/3 12:59:00 [填空题,3.4分] 合一算法:求非空有限具有相同谓词名的原子公式集的() 答案 登录 注册 最一般合一(MGU) 出自:联大 >> 信阳师范学院 人工智能