合一可理解为是寻找项对变量的置换，使两个谓词公式一致。
合一可理解为是寻找项对变量的置换，使两个谓词公式一致。
A.正确
B.错误
正确答案：正确
Tag：用Python学人工智能 谓词 变量
时间：2022-03-06 20:45:18