Prolog中predicate（谓词）与functor（函子）的区别是什么？

两者确实存在明确区别，只是因为符号表现常重叠，容易造成混淆：

函子（functor）的本质 #

函子是**项（term）**的核心组成部分，是带元数（arity，即参数个数）的标识符，作用是构造复合项。

• 比如likes(mary, X)里的likes/2、yellow(banana)里的yellow/1都是函子——哪怕这个复合项只是作为数据存在（例如store(likes(mary, apple))），likes/2依然是函子。
• 函子是数据层面的概念，仅关注项的结构，不需要有对应的子句定义。

谓词（predicate）的本质 #

谓词是可被Prolog解释器调用的逻辑关系，由一组子句（事实或规则）定义。

• 当我们写likes(mary, X) :- yellow(X).或yellow(banana).时，是在定义likes/2和yellow/1作为谓词——它们此时用于表示逻辑关系，可被查询、参与推理。
• 谓词是程序执行层面的概念，核心是其对应的子句集合，以及能完成的逻辑推导。

关键区分示例 #

• 如果仅写my_data(likes(alice, cat))，这里的likes/2只是函子，因为它仅构造了一个数据项，没有对应的子句定义，无法被当作关系调用。
• 如果同时写likes(alice, Y) :- fluffy(Y).，那么likes/2既是函子（构造了likes(alice,Y)这个项），也是谓词（有子句定义，可被查询）。

总结 #

• 所有谓词（带元数的标识符）都属于函子，但并非所有函子都是谓词。
• 函子是复合项的构造器，属于数据结构范畴；谓词是可调用的逻辑关系，属于程序逻辑范畴。

内容的提问来源于stack exchange，提问作者Penelope