Prolog 术语：id(X,X)。事实还是规则？

Question

在 Prolog 中，这无疑是一个事实：

foo(bar).

这是一个明确的规则：

foo(X) :- bar(X).

但是如果一个子句既有非单例变量又没有 :- 例如

identity(X,X).

或者更实际的类似

my_member(X, [X|_]).

自从我学习 Prolog 以来，我一直在调用这些规则，但是现在我已经尝试检查以 100% 确定，我似乎找不到任何来源比我第一次拥有的更明显两个例子。

这是一个规则：

• 定义可变逻辑关系的子句，即不会总是成功的子句。
• 定义谓词（或可能是谓词与其自身）之间关系的子句。

Answer 1

有时术语本身会导致实际 Prolog 系统根本没有的问题。在通用术语和标准术语中，identity(X,X). 和 my_member(X, [X|_]). 都是事实。但是，最好在合适的情况下使用子句。

这种不安源于此类案例所暗示的一系列解决方案。事实上，这两个例子都有无限的解决方案。否则，基本事实仅描述一个解决方案。只坚持事实，简化自下而上的解释。

那么a :- true. 子句是事实还是规则呢？它使用规则原子。但它的身体是真实的。 3.72 中的注释不包括 (:-)/2 作为事实的主要函子。嗯，所有这些都清楚地表明这里的术语有点过于细化了。

所以，尽可能坚持从句。

Answer 2

事实上，关于 Prolog 的术语存在争议，但我会尝试做一个简短的回顾，希望能找到一些答案。

一般来说，Prolog 程序由对象和它们之间的关系组成。

关系称为谓词，对象称为谓词的参数。参数的数量是谓词的arity。

用子句来描述对象及其关系。子句分为三种类型：事实、规则和查询。

事实表示对象之间的关系。这种关系无疑是正确的。从句法上讲，事实由描述关系的名称、括号中的一个或多个逗号分隔的对象和句点组成。示例：

male(john).
father_of(adam, cain).

结合事实，我们可以定义对象之间的新关系。这是通过规则完成的，它由两部分组成：条件部分（也称为规则主体）和结论（也称为规则头部）。事实表示明确为真的关系，而规则表示只有在某些条件为真时才为真的关系。这些条件也是对象之间的关系。在语法上，规则的头部与主体用颈部运算符 (:-) 分开，可以读作 if。规则的条件，如果超过一个，用逗号分隔，可以读作和。示例：

father_of(X,Y) :-
    parent(X,Y),
    male(X).

总之，规则和事实都是从句。规则的形式为Head :- Body.，事实的形式为Head. 谓词是由名称和参数数量定义的关系，同一个谓词可以有多个事实或规则。最终：

father_of/2 是一个名为father_of的谓词，元数为2

father_of(adam, 该隐)。 是事实

father_of(adam, abel)。 是另一个事实

father_of(A,B) :- parent(A,B), male(A)。 是一个规则