为何Prolog中','运算符为右结合的xfy类型却从左到右处理？

首先要明确两个核心前提：

• 逻辑层面，Prolog的逗号是合取运算符，对应一阶逻辑的∧（且），而合取运算天然满足结合律：(A ∧ B) ∧ C和A ∧ (B ∧ C)的逻辑语义完全等价，所以结合性的选择不会改变表达式的逻辑结果。
• 运算符结合性只决定语法解析阶段的语法树构造规则，和运行时的执行顺序没有必然绑定关系，执行顺序是Prolog语言标准单独规定的。

选择xfy右结合的核心原因是降低实现开销、适配执行逻辑：

• 右结合规则下，连续的合取项a,b,c,d会被解析为嵌套结构 ','(a, ','(b, ','(c, d)))，语法树的左叶子永远是当前第一个要执行的目标，右子树就是剩余所有待执行的目标序列。
• 这种结构刚好匹配Prolog左到右的执行流：每次取当前语法树的左节点执行，右子树直接作为后续执行的输入，不需要额外拆解语法树。如果用左结合的yfx规则，解析结果会是','(','(','(a, b), c), d)，每次执行完第一个目标都要递归拆解外层的合取结构才能拿到剩余目标，无论是语法解析还是运行时调度的开销都会更高。

你可以在Prolog环境中运行display((a,b,c,d))验证解析结构，输出结果会直接对应上面提到的右结合嵌套结构。

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