注意：此页面搜索的是所有试题
题目内容
（信阳师范学院 人工智能）
[填空题,3.4分] 合一算法：求非空有限具有相同谓词名的原子公式集的()
参考答案