Prolog 剪切：! 操作符

Prolog 中的剪切操作符（!）用于控制回溯。它告诉解释器：“一旦到达这里，不要尝试其他选项，也不要回溯到这条规则之前的任何决策点。” 这对于提高效率和定义逻辑互斥至关重要。

让我们来看看它是如何工作的。

1. 理解回溯行为

首先，观察 Prolog 通常如何处理多个规则。如果不使用剪切，Prolog 会尝试每一个可能的解决方案。

编写以下代码，定义一个简单的逻辑来判断数字是“小”还是“大”。注意：这些条件实际上是互斥的（一个数字不能同时小于 5 又大于 10），但 Prolog 并不知道这一点。

size(X, small) :- X < 5.
size(X, large) :- X > 10.

加载代码并 输入查询：

?- size(3, Result).

按下 ;（分号）键强制回溯。Prolog 首先匹配 small。当按下分号时，它会尝试匹配 large，失败，然后返回。虽然结果是正确的，但 Prolog 做了不必要的工作。

现在，编写一个条件重叠的版本，看看问题有多严重：

overlap_test(X, one) :- X < 10.
overlap_test(X, two) :- X < 20.

输入查询：

?- overlap_test(5, Res).

输出 Res = one。按下 ;。输出 Res = two。

这在逻辑上通常是错误的，因为如果满足第一个条件，我们不希望程序继续寻找第二个条件。

2. 使用剪切锁定选择

要修复此问题，请在规则成功后立即 插入 剪切操作符（!）。这告诉 Prolog：“既然你找到了匹配项，就停止寻找此谓词的更多替代方案。”

修改代码如下：

commit_test(X, one) :- X < 10, !.
commit_test(X, two) :- X < 20.

运行相同的查询：

?- commit_test(5, Res).

输出结果为 Res = one。按下 ;。你会发现 Prolog 回复 false 或直接停止，不再提供 two。

3. 可视化控制流

为了更清晰地理解发生了什么，我们可以查看执行流程。下图展示了剪切如何阻断回溯路径。

在这个图表中，虚线箭头代表了被 ! 操作符切断的回溯路径。一旦程序经过点 C，通往规则 2 的路径 E 就被永久阻断。

4. 实操案例：定义“非”逻辑

剪切的一个经典用途是实现“非”或“否定”逻辑。Prolog 原生支持 \+ 操作符，但我们可以用剪切自己实现一个 not 谓词来理解其内部机制。

逻辑是：

1. 尝试证明目标。
2. 如果目标成功，触发剪切（防止回溯）并 强制失败。
3. 如果目标失败，继续到下一个子句并返回成功。

编写以下代码：

not(P) :- call(P), !, fail.
not(_).

解释代码执行步骤：

1. call(P) 执行目标 P。
2. 如果 P 成功，! 剪切 所有其他选择（比如当前谓词的其他子句）。
3. fail 强制 当前目标失败。
4. 由于 ! 的存在，Prolog 无法回溯到第二行 not(_)，所以整个 not(P) 失败。
5. 如果 call(P) 一开始就失败，Prolog 会跳到第二行 not(_)，该子句总是成功。

测试这个逻辑。假设数据库中有 likes(mary, apple).。

输入：

?- not(likes(mary, apple)).

结果为 false，因为 Mary 喜欢 apple，第一个子句通过剪切强制失败。

输入：

?- not(likes(mary, pear)).

结果为 true，因为 Mary 不喜欢 pear（假设数据库中没有此事实），第一个子句失败，第二个子句匹配成功。

5. 警惕：红色剪切与绿色剪切

在使用剪切时，必须区分“绿色剪切”（Green Cut）和“红色剪切”（Red Cut）。

• 绿色剪切：仅仅是为了提高效率。删除它不会改变程序的逻辑结果（只是变慢了）。
• 红色剪切：逻辑的一部分。删除它会导致程序产生错误的逻辑结果。

上面的 not 定义和 commit_test 都是 红色剪切 的例子。因为如果你移除 !，程序的含义就变了。

编写以下代码来演示红色剪切的风险：

dangerous_cut(X) :- X > 5, !, write('Large').
dangerous_cut(X) :- write('Small').

运行查询 ?- dangerous_cut(10).。输出 Large。正确。
运行查询 ?- dangerous_cut(3).。输出 Small。正确。

现在，调整规则顺序（这在维护大型代码库时很常见）：

dangerous_cut(X) :- write('Small').
dangerous_cut(X) :- X > 5, !, write('Large').

再次运行查询 ?- dangerous_cut(10).。

程序输出 Small。这是一个逻辑错误！因为第一个规则匹配了任何 X（没有条件），而 Prolog 一旦匹配就不看第二个规则了（除非我们手动回溯，但即使回溯，第二个规则也会被剪切影响逻辑流，实际上这里的顺序导致了逻辑翻转）。

修正原则：当你使用红色剪切时，确保带剪切的规则是排他性的，或者子句顺序非常严格，且不能被随意重排。

优化上述代码，使其更安全（即使交换顺序也能工作，利用明确的逻辑）：

safe_cut(X) :- X > 5, !, write('Large').
safe_cut(_) :- write('Small').

现在，无论顺序如何，逻辑都是安全的，因为第一个规则有明确的条件。

6. 总结与最佳实践

1. 使用剪切来告诉 Prolog“一旦找到，就别再找了”。
2. 利用剪切实现否定（如果无法使用内置 \+）。
3. 避免在没有明确条件的情况下使用剪切，以免破坏逻辑的鲁棒性。

掌握 ! 操作符是编写高效 Prolog 程序的关键。