prolog - Prolog中的仿函数，事实，谓词和规则之间有什么区别？

Question

我想知道这些术语之间的区别:

事实

仿函数

谓词。

规则

在Prolog中。

如果我写: brother(john, jack).这是事实吗？或谓词？

Answer 1

从

ISO/IEC 13211-1 First edition 1995-06-01
信息技术-编程语言-Prolog-
第1部分:
通用核心

3.9 arity :复合术语的自变量数目。语法上，与仿函数或谓词关联的非负整数。

3.19 body :目标，通过上下文作为一部分加以区分
规则(请参阅3.154)。

3.32 子句:事实或规则。它包括两个部分:头部，
和一个 body 。

3.37 复合词:偶数N的仿函数，N为正，连同N个参数序列。

3.72 fact :其主体为目标的子句为true。
注–事实可以在Prolog文本中用术语表示
其主要仿函数既不是(:-)/1也不是(:-)/2。

3.77 仿函数:带有Arity的标识符。

3.81 目标:要执行的谓词(请参见
正文，查询和7.7.3)。

3.84 头(规则):谓词，根据其上下文进行区分。

3.88 标识符:基本的非结构化对象，用于表示原子，仿函数名称或谓词名称。

3.129 谓词:带有Arity的标识符。

3.133 谓词:具有arity N和a的谓词
N个参数的序列。

3.143 查询:作为交互输入给目标的目标
顶层。

3.154 规则:子句的主体不是目标true。
在执行过程中，如果主体为真，可以进行某些替换，
那么对于替换来说，头部也是正确的。一条规则
在Prolog文本中用一个术语表示，该术语的主体
functor是(:-)/2，其中第一个参数被转换
到头部，第二个参数转换为
body 。

因此brother(john, jack).是事实。