两个谓词可匹配合一，是指两个谓词的名相同，参量项的个数相同，参量类型对应相同，并且对应参量项还满足下列条件之一：（）

两个谓词可匹配合一，是指两个谓词的名相同，参量项的个数相同，参量类型对应相同，并且对应参量项还满足下列条件之一：（）
A.如果两个都是常量，则必须完全相同
B.如果两个都是约束变量，则两个约束值必须相同
C.如果其中一个是常量，一个是约束变量，则约束值与常量必须相同
D.至少有一个是自由变量
正确答案：ABCD