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 a kind of approximate solution, for arbitrary programs.
翻译:我们讨论如何通过例外处理在Prolog 方案中执行回跳(或智能回溯跟踪) 。 这在一般情况下似乎是不可能的。 我们提供了一种在某些情况下有效的解决方案, 特别是二进制方案。 我们还为任意方案提供了一种近似解决方案。