【Prolog - 2.0 基础应用】

【术语统一 terms unify】

两者统一，只需满足下面两条件之一

1.原本就是相同的

2.包含变量，这些变量可以用术语统一实例化，从而得到相等的术语

mia和mia是统一的，42和42是统一的，woman(mia)和woman(mia)是统一的

woman(mia)和woman(jody)不是统一的

【实例化 Instantiations】

当Prolog统一两个术语时，它会执行必要的实例化，以便在之后的操作中，二者相等

1.如果T1和T2是常数，如果它们是相同的原子，或者相同的数，那么T1和T2是统一的

2.如果T1是变量并且T2是任何类型的项，则T1和T2统一，并且T1实例化为T2（反之亦然）

3.如果T1和T2是复杂的术语，则它们在以下情况下统一：1.它们具有相同的函子和对数 2.所有其对应的自变量都统一 3.变量实例化是兼容的

例子1：

?- mia = X.
 X=mia
  yes

例子2：

?- X=mia, X=vincent.
 no

no的原因在于，在实现第一个目标之前，Prolog用mia实例化了X，因此它无法与vincentany统一。因此，第二个目标失败了。

例子3：

?- k(s(g),Y) = k(X,t(k)).
X=s(g)
Y=t(k)
yes

例子4：

?- k(s(g),t(k)) = k(X,t(Y)).
 X=s(g) Y=k
 yes

另外，在查询?- father(X) = X.的时候，会出现一个X=father(father(father(...))))的死循环，但是最终会得到yes的结果

这就引出了一个概念，叫做“占用检查occurscheck” ：

如果要求将一个变量与另一项统一起来，它会检查该变量是否出现在这一项中

【统一性实战】

Eg1 :

Eg2 :

Eg3 :

【证据搜索 Proof Search 以及 搜索树 search trees】

当我们提供了一个条件或者目标进行答案搜索的时候，Prolog会进行一个名为“搜索树”的方法进行搜索

例1：

例2：

【ProLog的搜索与回答】

Prolog有一种特定的方式来回答查询，具体如下所示

1.从上到下搜索知识库

2.从左到右处理子句

3.从错误的选择中返回