- Record: found
- Abstract: found
- Article: found
Implementing backjumping by throw/1 and catch/3 of Prolog
Preprint
21 August 2020
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
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.