prolog - Prolog 3 路比较中的关系运算符符号

Question

Prolog 标准 ISO/IEC 13211-1:1995/Cor.2:2012功能compare/3 :

8.4.2 compare/3 – three-way comparison

8.4.2.1 Description

compare(Order, X, Y) is true iff Order unifies with R which is one of the following atoms: '=' iff X and Y are identical terms (3.87), '<' iff X term_precedes Y (7.2), and '>' iff Y term_precedes X. [...]

最近，我突然意识到使用原子< , = ，和>有点奇怪:

• 谓词 (<)/2和(>)/2表达算术比较。

• 谓词(=)/2另一方面是句法术语统一。

恕我直言，一个更更自然的选择是(en)@< , ==和@> ，因为这些正是其满足由 compare/3 决定的谓词。 .

那么:为什么原子是 </=/>选择了——而不是@</==/@> ？

Answer 1

Recently, it dawned on me that using the atoms <, =, and > is somewhat weird:

在进入 ISO Prolog 核心标准之前，compare/3 谓词已存在于多个 Prolog 系统中。这里的选择(当时我是 WG17 核心编辑)是保持向后兼容性。