Backjumping is Exception Handling. Issue 2 (16th March 2021)

• Record Type: Journal Article
• Authors: ROBBINS, ED; KING, ANDY; HOWE, JACOB M.
• Is Part Of: Theory and practice of logic programming. Volume 21:Issue 2(2021)
• Page Start: 125
• Page End: 144
• Publication Date: 2021-03-16
• Subjects: backjumping -- exception handling -- conflict-driven clause learning -- SAT; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068420000435
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: 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.