Prolog 比较：=、==、\=

在 Prolog 编程中，区分统一运算符 =、严格相等运算符 == 以及严格不等运算符 \= 是写出正确逻辑的基础。这三个运算符长得相似，但处理变量的方式截然不同。

1. 理解 =：统一

= 是 Prolog 中最基础的运算符，称为“统一”。它的核心任务是尝试让左右两边的项变得相同。如果变量当前是未绑定的（自由的），Prolog 会 绑定 该变量以匹配另一边的值。

执行以下查询来观察统一行为：

在解释器中 输入：

?- X = 5.

结果为 X = 5.。因为 X 是自由的，Prolog 将 X 绑定为 5，两边变得相同，查询成功。

输入包含复杂结构的查询：

?- f(a, X) = f(a, b).

结果为 X = b.。Prolog 检查 结构名称（f）和第一个参数（a）是否匹配，然后 将 X 绑定为 b 以匹配第二个参数。

输入无法匹配的查询：

?- f(a) = f(b).

结果为 false.。因为原子 a 和 b 无法改变，统一失败。

2. 理解 ==：严格相等

== 运算符进行“严格相等”检查。它比较两项在语法上是否完全一致。关键在于，它 绝不 会绑定任何变量。如果变量未绑定，它只比较变量名本身。

执行以下查询来观察严格相等行为：

输入：

?- X == X.

结果为 true.。同一个变量在语法上当然等于它自己。

输入：

?- 5 == 5.

结果为 true.。相同的常量相等。

输入：

?- X == 5.

结果为 false.。未绑定的变量 X 在语法上不等于数字 5。注意，这里 X 保持 未绑定状态，并未被赋值。

输入：

?- X = 5, X == 5.

结果为 X = 5.。这里首先 执行 X = 5（统一，X 变为 5），然后 检查 X == 5。此时 X 已绑定，所以检查通过。

3. 理解 \=：严格不等

\= 是 == 的逻辑否定。它的意思是“两项在语法上不相等”。同样，它 绝不 会绑定变量。

执行以下查询：

输入：

?- a \= b.

结果为 true.。a 和 b 显然不同。

输入：

?- X \= Y.

结果为 false.。对于两个未绑定的变量 X 和 Y，Prolog 认为它们在语法上都是“变量”，因此它们被视为相等。既然相等，那么“不相等”的查询自然失败。

输入：

?- X \= 5.

结果为 true.。变量 X 和数字 5 语法不同，所以不相等成立。

4. 运算符选择流程

当你在代码中需要比较两项时，请 遵循 以下逻辑路径来决定使用哪个运算符。

5. 核心差异对比表

为了方便查阅，下表总结了这三个运算符的核心区别。

6. 实战代码示例

将以下代码 复制 到你的 Prolog 源文件中（例如 test.pl），并 加载 到解释器里进行测试。

% 定义一个规则，检查两个项是否是相同的数据结构，但不关心具体内容
% 这里故意混合使用运算符来演示常见陷阱
compare_test(A, B) :-
    A == B, 
    write('Items are strictly identical (no unification).'), nl.

compare_test(A, B) :-
    A \= B,
    write('Items are structurally different.'), nl.

% 另一个规则，尝试让 A 匹配 B
try_unify(A, B) :-
    A = B,
    write('Unification successful. Result: '), write(A), nl.

测试 上述规则：

1. 调用 compare_test(X, X).
   • 输出：Items are strictly identical (no unification).
2. 调用 compare_test(1, 2).
   • 输出：Items are structurally different.
3. 调用 try_unify(X, 10).
   • 输出：Unification successful. Result: 10 (此时 X 被绑定为 10)。
4. 调用 try_unify(f(a), f(b)).
   • 结果：false. (结构相同但内容无法匹配，统一失败)。

掌握 = 的动态绑定特性以及 == 的静态检查特性，是避免 Prolog 程序产生意外副作用的关键。