论文标题
逻辑编程中的可逆调试
Reversible Debugging in Logic Programming
论文作者
论文摘要
可逆调试在定位错误源方面越来越受欢迎。该技术提出了一种更自然的调试方法，可以在其中探索从可观察到的不当行为向后到误差源的计算。在这项工作中，我们为逻辑程序提出了可逆的调试方案。为此，我们定义了适当的乐器语义（所谓的Landauer嵌入），该语义使SLD分辨率可逆。已开发并公开使用了对Prolog，Rever的可逆调试器的实施。
Reversible debugging is becoming increasingly popular for locating the source of errors. This technique proposes a more natural approach to debugging, where one can explore a computation from the observable misbehaviour backwards to the source of the error. In this work, we propose a reversible debugging scheme for logic programs. For this purpose, we define an appropriate instrumented semantics (a so-called Landauer embedding) that makes SLD resolution reversible. An implementation of a reversible debugger for Prolog, rever, has been developed and is publicly available.
