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