City Research Online

Backjumping is Exception Handling

Robbins, E., King, A. & Howe, J. M. ORCID: 0000-0001-8013-6941 (2020). Backjumping is Exception Handling. Theory and Practice of Logic Programming, doi: 10.1017/S1471068420000435


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.

Publication Type: Article
Additional Information: This article is published in a revised form in Theory and Practice of Logic Programming: This version is published under a Creative Commons CC-BY-NC-ND. No commercial re-distribution or re-use allowed. Derivative works cannot be distributed. © the authors.
Publisher Keywords: Backjumping, Exception handling, Conflict Driven Clause Learning, SAT
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology > Computer Science > Software Reliability
Text - Accepted Version
Available under License Creative Commons: Attribution International Public License 4.0.

Download (187kB) | Preview



Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login