逻辑程序设计中的可逆可编程性
Reversible Debugging in Logic Programming
摘要：
可逆调试在定位错误源方面变得越来越流行。这种技术提出了一种更自然的调试方法，其中可以从可观察到的错误行为向后探索计算错误的来源。在这项工作中，我们提出了一个可逆的调试方案的逻辑程序。为此，我们定义了一个适当的仪表化语义（所谓的Landauer嵌入），使SLD分辨率可逆。Prolog的一个可逆调试器的实现已经开发出来，并公开提供。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
