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