序言: backtrack more than one step backwards (backjumping!)？

Question

这可能是一个简单的问题，但这里是......假设我有一些类似的事情:

.... step1, step2, step3, ...

我希望每次step3失败回溯时都跳过step2并转到step1，但在前进的过程中遵循正常的..step1、step2、step3 ..顺序。

.... step1, (step2, step3), ...

似乎没有做到这一点，或者我做错了什么。

---

它需要更多测试，但到目前为止似乎有效:

.... step1, (step2 -> (step3; true)), ...

这可能是 swi-prolog 的特性，需要 true。

Answer 1

在文献中，这种搜索策略也称为回跳。

在 Prolog 中实现这一点的一种方法是使用异常。

查看 ISO 谓词 catch/3 和 throw/1:

特别是，在您的情况下，您可以进行安排，以便 step3 失败导致通过 throw/1 抛出一个“球”，该球可以被接住通过 catch/3 在预定的目标位置。