Prolog实现gcd的基例中cut（!）的作用是什么？

基例处cut的作用解释 #

你给出的gcd实现是Prolog里典型的「减法版欧几里得算法」实现，基例里的cut（!）主要有三个核心作用：

• 阻断递归分支，终止计算
  这个gcd的递归逻辑是每次用大数减小数缩小两个参数的差值，直到两个参数完全相等时就命中基例gcd(X,X,X)，此时gcd的结果就是X本身。这个cut会直接丢弃当前gcd/3谓词所有未尝试的备选子句，不会再往下匹配后面两个递归子句，递归调用链直接从这一层开始逐层返回结果，整个计算过程就正常终止了。
• 避免无效回溯，提升执行效率
  Prolog默认会遍历所有匹配的子句找全部可能的解，如果基例没有加cut，当命中基例返回结果后，你如果主动触发回溯（比如查询时按分号找更多解），Prolog会继续尝试匹配后面两个递归子句：
  比如命中gcd(2,2,R)后继续回溯，会尝试执行第三个子句的逻辑：Inter is 2-2=0，再调用gcd(2,0,R)，后续要么进入死循环，要么抛出算术错误，完全是无效的计算。加了cut之后就会直接切断这条多余的回溯路径，不会执行这些无意义的逻辑。
• 明确唯一解语义
  两个数的最大公约数是唯一确定的，基例的cut相当于显式告诉Prolog：只要两个参数相等，这个结果就是唯一的正确解，不需要再找其他可能的解，和后面两个递归子句的cut配合，整个谓词就完全实现了确定性的计算逻辑，不会出现多解的情况。

你可以自己做个小测试：把基例的cut删掉，执行查询gcd(4,6,R)，拿到R=2的结果后按分号找下一个解，就能观察到上述的异常行为。

% 你提到的gcd实现代码
gcd(X,X,X):-
    !.
gcd(X,Y,Z):-
    X>Y,
    !,
    Inter is X - Y,
    gcd(Inter, Y, Z).
gcd(X,Y,Z):-
    Inter is Y - X,
    gcd(X,Inter,Z).

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