Implementing backjumping by throw/1 and catch/3 of Prolog

08/21/2020

∙

by   Włodzimierz Drabent, et al.

∙

0

∙

share

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.