使用PROLOG进行逻辑编程：简单的例子

我们从第35页的例3.2中的家族关系开始。小知识库KB被编码 – 没有谓词女性的事实– 作为图5.1中名为rel.pl的PROLOG程序。

可以使用该命令在PROLOG解释器中加载和编译该程序

？ – [rel]。

1.
简单例子69

初始查询返回对话框

？ – 孩子（夏娃，奥斯卡，安妮）。

是

正确答案是的。这个答案是如何产生的？对于查询“ ？ –
child（eve，oscar，anne）。“在其条款标题中有六个事实和一个规则具有相同的谓词。现在，在查询与输入数据中的每个互补文字之间按照发生的顺序进行统一。如果其中一个替代方案失败，则会导致回溯到最后一个分支点，并测试下一个替代方案。因为统一在每个事实中都失败了，所以查询与第8行中的递归规则统一。现在系统尝试解决子目标子（eve，anne，oscar），这与第三种选择成功。查询

？ – 后代（X，Y）。X =奥斯卡

Y =凯伦是的

回答第一个找到的解决方案，原样

？ – 后裔（克莱德，Y）。Y =玛丽

是

查询

？ – 后裔（克莱德，卡伦）。

然而，没有回答。其原因是第8行中的子句，它指定了子谓词的对称性。该子句以递归方式调用自身而不具有终止的可能性。这个问题可以通过以下新程序解决（这里省略了事实）。

1.
后代（X，Y）： – 子（X，Y，Z）。

2.
后代（X，Y）： – 子（X，Z，Y）。

3.
后代（X，Y）： – 子（X，U，V），后代（U，Y）。

但现在查询

？ – 孩子（夏娃，奥斯卡，安妮）。

不再正确回答，因为不再给出最后两个变量中的子对称性。该程序中找到了解决这两个问题的方法

4.
child_fact（奥斯卡，克伦，弗朗兹）。

5.
child_fact（玛丽，克伦，弗朗兹）。

6.
child_fact（EVA，安，奥斯卡）。

7.
child_fact（亨利，安，奥斯卡）。

8.
child_fact（伊索尔德，安，奥斯卡）。

9.
child_fact（克莱德，玛丽，oscarb）。7

10.
child（X，Z，Y）： – child_fact（X，Y，Z）。

11.
child（X，Z，Y）： – child_fact（X，Z，Y）。10

12.
后代（X，Y）： – 子（X，Y，Z）。

13.
后代（X，Y）： – 子（X，U，V），后代（U，Y）。

通过为事实引入新的谓词child_fact，谓词子节点不再是递归的。但是，该程序不再像第68 页的图5.1中的逻辑正确的第一个变体那样优雅和简单，这导致了无限循环。与其他语言一样，PROLOG程序员必须注意处理并避免无限循环。PROLOG只是一种编程语言，而不是一个定理证明者。

我们必须在这里区分PROLOG程序的声明和程序语义。声明性语义由喇叭子句的逻辑解释给出。相反，程序语义是由PROLOG程序的执行定义的，我们希望现在更详细地观察它。使用查询子项（eve，oscar，anne）执行第 68 页的图 5.1 中的程序，如第 71 页的图
5.2 所示，作为搜索

树。1执行从左上角开始查询。每条边代表一个位置

sible SLD解决步骤与互补的统一文字。当搜索树通过递归规则变得无限深时，PROLOG执行终止，因为事实发生在输入数据中的规则之前。

相反，对于查询后代（clyde，karen），PROLOG执行不会终止。我们可以在第71 页的图5.3中显示的和/或树中清楚地看到这一点。在这种表示中，由一个条款的头部引导到子目标的分支代表。因为必须解决子句的所有子目标，所以这些是和分支。所有其他分支是或分支，其中至少一个必须与其父节点一致。这两个概述的事实代表了