2.1.3PR0L0G程序的运行机理 1.自由变量与约束变量 2.匹配合一 两个谓词可匹配合一,是指两个谓词的名相同 参量项的个数相同,参量类型对应相同,并且对应 参量项还满足下列条件之一: (1)如果两个都是常量,则必须完全相同。蕌 (2)如果两个都是约束变量,则两个约束值必 须相同。蕌 (3)如果其中一个是常量,一个是约束变量, 则约束值与常量必须相同。 蕌(4)至少有一个是自由变量2.1.3 PROLOG程序的运行机理 1. 自由变量与约束变量 2. 匹配合一 两个谓词可匹配合一, 是指两个谓词的名相同, 参量项的个数相同, 参量类型对应相同, 并且对应 参量项还满足下列条件之一： (1) 如果两个都是常量, 则必须完全相同。  (2) 如果两个都是约束变量, 则两个约束值必 须相同。  (3) 如果其中一个是常量, 一个是约束变量, 则约束值与常量必须相同。  (4) 至少有一个是自由变量