考试场景下Prolog自定义between/3谓词的参数排序疑问

Prolog里自定义谓词的参数顺序没有绝对的语法强制规则，核心取决于你给这个谓词定义的语义约定——也就是你（或题目里）明确它要表达什么逻辑。

两种常见的语义约定： #

• 按自然语言语序定义：
  如果你遵循“X is between Y and Z”的英文表达逻辑，对应between(X, Y, Z)，也就是between(Susan, Ali, John)表示「Susan坐在Ali和John之间」。这种逻辑和likes(Susan, John)对应「Susan喜欢John」的主语优先规则完全一致，是非常直观的约定，你的初始理解完全没问题。

• 按“位置关系”的结构定义：
  考试答案里的between/3采用了另一种约定：between(A, B, C)表示「B在A和C之间」，也就是把中间的对象放在第二个参数位置。这种约定类似把“左右两边”作为前两个参数，中间的作为核心对象放在中间，也是合理的自定义规则——比如有些场景下会优先把边界类的参数放在前面。

关键结论： #

没有绝对的“正确”顺序，只有约定一致的语义。你觉得前者合理是因为默认遵循了自然语言语序，而考试里的题目提前给这个自定义between/3设定了「左邻、中间、右邻」的参数语义，所以才会要求写between(Ali, Susan, John)。

自己写代码时，只要提前明确谓词的语义（比如写注释说明between(中间的人, 左边的人, 右边的人)或其他规则），并全程保持一致即可。

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