[填空题,3.4分] 合一算法:求非空有限具有相同谓词名的原子公式集的()
出自:信阳师范学院 人工智能