论文标题
通过投掷/1和捕获/3的prolog进行反式临时
Implementing backjumping by throw/1 and catch/3 of Prolog
论文作者
论文摘要
我们讨论了如何通过例外处理中的序言程序中的重现（或智能回溯）。在一般情况下，这似乎是不可能的。我们提供两种解决方案。一个用于二进制程序；在一般情况下，它对回次临时可能起源的位置施加了限制。另一个限制了一类Backump目标。我们还展示了如何通过回溯和Prolog Database模拟反击。
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.
