ISO Prolog provides catch and throw to realize the control flow of exception handling. This pearl demonstrates that catch and throw are inconspicuously amenable to the implementation of backjumping. In fact, they have precisely the semantics required: rewinding the search to a specific point and carrying of a preserved term to that point. The utility of these properties is demonstrated through an implementation of graph coloring with backjumping and a backjumping SAT solver that applies conflict-driven clause learning.

中文翻译：

---

回跳是异常处理

ISO Prolog 提供了 catch 和 throw 来实现异常处理的控制流。这颗珍珠表明，接球和投球对后跳的实施并不显着。事实上，它们恰好具有所需的语义：将搜索倒退到特定点并将保留的术语携带到该点。这些属性的实用性通过使用回跳实现图形着色和应用冲突驱动子句学习的回跳 SAT 求解器来证明。