Prolog替换示例中相关语句含义的技术咨询

1. brother(maya) 的含义 #

在Prolog中，谓词的元数（参数个数）决定了它是不同的谓词：brother/2（二元，比如brother(X, maya)表示X是Maya的兄弟）和brother/1（一元，即brother(maya)）是完全独立的谓词，具体语义由你在程序里定义的事实或规则决定。

这个示例里的brother(maya)只是一个项（term）——Prolog的基本数据结构，它的含义要看上下文：

• 可以定义为“Maya本身是兄弟（即Maya具备男性兄弟的身份）”；
• 也可以作为复合项，用来指代“Maya的兄弟”（类似函数式语言里的构造器，用这个结构封装特定对象）。
  重点是，这里的替换操作只是语法层面的变量替换，不需要先评估这个项的真假，只是把变量X直接换成这个结构而已。

2. friend(brother(maya), friend(john)) 是否等同于 friend(true, true)？ #

完全不是，你混淆了谓词调用的求值结果和作为参数的项：

• 当你在Prolog查询提示符输入brother(maya).时，Prolog会匹配事实或规则，返回true或false，这是谓词调用的布尔结果；
• 但在替换操作中，brother(maya)和friend(john)是作为复合项直接替换变量的，它们是传递给friend/2的参数，不会先求值成布尔值再传入。

比如假设程序里friend/2用来描述两个人的朋友关系，那么friend(brother(maya), friend(john))的含义是：“被brother(maya)指代的对象，和被friend(john)指代的对象是朋友”——至于这两个对象具体是谁，要看你对brother/1和friend/1这些结构的定义（比如如果brother(X)用来指代X的兄弟，那就是“Maya的兄弟”和“John的朋友”是朋友）。

只有当friend/2的规则明确要求参数满足某个谓词时，Prolog才会评估这些参数对应的谓词是否成立，但替换后的表达式本身只是一个待查询的谓词结构，和friend(true, true)完全不是一回事。

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