Prolog子句开头截断（Cut）的作用验证及目标s执行结果分析

目标s的执行结果 #

运行目标s之后，控制台会按顺序输出以下内容：

111
112
121
122
211
212
221
222

结果背后的逻辑 #

咱们先把谓词s的定义拆开来看看：

s:-!,p(X),q(Y),r(Z),write(X,Y,Z),nl.

这里的!就是Prolog里的截断操作，它的核心作用是“锁死”当前已经产生的选择点，不让程序回溯到截断之前的分支。但这里的特殊点在于，截断被放在了子句的最开头——也就是在调用任何会产生多解的谓词（比如p(X)、q(Y)）之前。

当我们调用s时，首先匹配到这唯一的s子句，执行到!的时候，此时程序还没创建任何选择点呢——毕竟p(X)还没开始调用，根本没有分支可以回溯。截断只能对已经存在的选择点起作用，所以这个时候的截断相当于“空操作”，完全没影响后续的执行。

接下来的流程就很清晰了：p(X)会依次取1和2；每拿到一个X的取值，q(Y)又会取1和2；再针对每个Y，r(Z)取1和2。每一组X,Y,Z的组合都会触发一次输出，于是就得到了所有8种可能的组合结果。

关于“截断操作位于子句开头时无任何作用”的判断 #

这个说法不能一概而论，得分场景：

• 在咱们这个问题的场景里，s只有这一个子句，截断放在开头确实没起到任何实际作用——没有可冻结的选择点，自然不会影响后续的回溯和多解生成。
• 但如果s有多个子句的情况，比如写成这样：

  s:-!,p(X),write(X),nl.
  s:-q(Y),write(Y),nl.
  

  这时候调用s，第一个子句开头的截断就会立刻生效：一旦匹配第一个子句并执行了!，程序就会彻底放弃回溯去匹配第二个s子句的可能，所以只会输出p(X)的解（也就是1和2），完全不会执行第二个子句的内容。

所以说，截断在子句开头的作用，取决于是否存在其他可回溯的选择分支（比如多个子句的情况），不能直接说它“无任何作用”。

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