我们经常会在Prolog的递归中用到截断。尽管回溯是Prolog中最有用的机制之一，但有时我们希望利用截断控制回溯的程序。在这篇经验中，我将介绍截断机制与谓词fail。
2、程序中一个谓词常常以多种形式存在，其中一般至少有两种不同形式的谓词丰硕，即递归规则和停止条件。当编写这样的谓词时，必须保证Prolog总是选择谓词的正确形式。如当Prolog应当采用停止条件时，就不应选择递归规则，否则会导致无穷递归。例如，下面这个程序是用于计算X的Y次幂。
4、但如果我们要求上例在给出回答后继续回溯，即键入分号，则会试图在知识库中寻找到另一个事实或规则，使其爵奏笆棚与上面的目标匹配。这就是说，Prolog搜索到的另一个Prolog谓词便是递归规则。Prolog与之匹配，使X为2，Y为0，然后Prolog计算Y_tmp得到-1，并试图满足目标：power(X, Y_tmp, Pow_tmp),这等于在计算2⁻¹，依次进行下去，将试图计算2⁻²，2⁻³，等等。这时无穷递归出现了，即递归目标连续产生自己，而永远不能满足停止条件，开始报错。
2、应当注意，截断与fail联用通常可用否定谓词“\+”代替，\+是Prolog另一个标准谓词，如果目标X失败，则目标\+(X)成功；如果X成功，则会失败。因此上面程序可以重写为图片中的形式。这里把三个eligible规则合成为一个规则，这两种编程方式中哪种可读性更高呢？关于这一问题存在争议，因为这取决于对截断的理解程度。
