Implementing Backjumping by Means of Exception Handling

IF 1.4 2区数学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Theory and Practice of Logic Programming Pub Date : 2023-07-01 DOI:10.1017/s1471068423000285

WŁODZIMIERZ DRABENT

引用次数: 0

Abstract

Abstract We discuss how to implement backjumping (or intelligent backtracking) in Prolog by using the built-ins throw/1 and catch/3. We show that it is impossible in a general case, contrary to a claim that “backjumping is exception handling." 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 the class of backjump targets. We also discuss implementing backjumping by using backtracking and the Prolog database. Additionally, we explain the semantics of Prolog exception handling in the presence of coroutining.

查看原文本刊更多论文

通过异常处理实现回跳

讨论了如何在Prolog中使用内置的throw/1和catch/3实现回跳(或智能回跳)。我们证明在一般情况下这是不可能的，这与“回跳是异常处理”的说法相反。我们提供两种解决方案。一个适用于二进制程序;在一般情况下，它对背跳的起源施加了限制。另一个限制了后跳目标的类别。我们还讨论了通过回溯和Prolog数据库实现回溯。此外，我们还解释了协同程序中Prolog异常处理的语义。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Theory and Practice of Logic Programming 工程技术-计算机：理论方法

CiteScore

4.50

自引率

21.40%

发文量

审稿时长

>12 weeks

期刊介绍： Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.