  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 two solutions. One works for binary programs; in a
general case it imposes a restriction on where backjumping may originate. The
other restricts a class of backjump targets. We also show how to simulate
backjumping by means of backtracking and the Prolog database.
