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