浙教版高中信息技术选修5人工智能初步Prolog的工作机理.pptVIP

Prolog的工作机理 1 匹配与回溯方法 1.实例化 Prolog中称无值的变量为自由变量，有值的变量为约束变量。一个 变量取了某值就说该变量约束于某值，或者说该变量被某值实例化了。 例：mother(Who1,xiaoming).在Who1有值以前，它是自由变量， 如果(Who1=xiaozhang)，那么我们就说变量Who1约束于xiaozhang，或说Who1被xiaozhang实例化了。 2.匹配 如果两个谓词的名相同，参数的个数和类型对应相同，并且对应参数满足下面的条件之一，那么这两个谓词可以匹配(match)。 （1）如果两者都是常量，则必须完全相同。 （2）如果两者都是约束变量，则两个约束值必须相同。 （3）如果其中一个是常量，一个是约束变量则约束值与常量必须相同。 （4）当两者至少有一个是自由变量。 其实匹配是一种操作，这种操作为参加匹配的自由变量和常量，或者两个自由变量建立一种对应关系，将常量作为对应变量的约束值，使两个对应的自由变量始终保持一致。如果其中一个被某值实例化，那么另一个也被同一值实例化；反过来说，如果其中一个被解除约束，则另一个值的约束也被解除。 上面例子中每对谓词均可以匹配。对于含有自由变量的谓词表示，如Bame(X)，它与game(xijizhengba).