Prolog、fail和do not backtrack

Question

在SWI-Prolog中有没有内置的断言总是会失败并阻止机器回溯--它会立即停止程序的执行(这不是fail/0所做的)？我可以使用裁剪，但我不喜欢它们。

做像!, fail这样的事情对我来说不是问题，但为了实现我想要的，我必须在更多的地方使用cuts，这是我不喜欢的。

Answer 1

你可以使用异常。基于你的问题--这应该会有帮助。参考link

Answer 2

你可以使用明确设计的机制来帮助你完成一些事情，但你不喜欢它？

你总是可以使用not，这是cut fail的语法糖

Answer 3

脑海中浮现出两种选择：

1. 在您想要控制的代码中传递一个backtrack(true)或backtrack(false)术语，并在您正在编写的谓词的定义中解释它，如果它设置为backtrack(false)，将很快失败；如果设置为backtrack(true)，则继续。请注意，这实际上不会阻止回溯；它应该只会启用快速失败。即使您的证明树很深，这也应该提供一种快速的方法来防止对backtracking.
2. Use异常执行某些代码，正如@Xonix (+1)所建议的那样。抛出异常将立即终止证明树构造，并且您可以通过异常将任何术语数据传递到处理程序，从而绕过任何更多的执行-它可能会比第一种方法更快，但可能不像第一种方法那样可移植。

就我个人而言，我以前用过这两种方法--第一种方法在编写代码之前就预料到了需要，而后者我没有。