Implementing backjumping by throw/1 and catch/3 of Prolog
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.
READ FULL TEXT