论文标题
重现是例外处理
Backjumping is Exception Handling
论文作者
论文摘要
ISO Prolog提供了捕获和投掷，以实现异常处理的控制流。这种珍珠表明，捕获和投掷是不明显的反对重跳的情况。实际上，它们完全具有所需的语义：将搜索倒入特定点，并将保留的术语置于该点。这些属性的实用性是通过重现图形着色和应用冲突驱动子句学习的反式SAT求解器来证明的。
ISO Prolog provides catch and throw to realise 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 colouring with backjumping and a backjumping SAT solver that applies Conflict Driven Clause Learning.
