We discuss how to implement backjumping (or intelligent backtracking) in Prolog programs by means of exception handling. This seems impossible in a general case. We provide a solution, which works in certain cases, in particular for binary programs. We also provide an approximate solution, for arbitrary programs.

中文翻译：

---

Prolog的throw/1和catch/3实现回跳

我们讨论如何通过异常处理在 Prolog 程序中实现回跳（或智能回溯）。这在一般情况下似乎是不可能的。我们提供了一种在某些情况下有效的解决方案，特别是对于二进制程序。我们还为任意程序提供了近似解。