Johannes Oetsch；约格·普勒；汉斯·托姆皮茨 逐步完成回答程序。 （英语） Zbl 1327.68068号 Delgrade，James P.（编辑）等人，《逻辑编程和非单调推理》。2011年5月16日至19日，加拿大温哥华，第11届国际会议，LPNMR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20894-2/pbk）。计算机科学课程讲稿6645。人工智能课堂讲稿，134-147（2011）。 摘要：我们介绍了一个交互式单步执行应答程序的框架，作为调试的一种手段。在过程语言中，单步执行是一种广泛而有效的调试策略。其思想是通过按照程序的控制流逐语句执行来深入了解程序的行为。到目前为止，应答程序还没有考虑单步执行，可能是因为它们缺乏控制流。我们提供的框架允许根据用户的直觉逐步构建解释，以激活哪些规则实例。也就是说，我们不会对规则强加任何顺序，但会给程序员自由来指导逐步执行过程。由于简单的句法限制，每一步都会产生一个保证中间解释稳定性的状态。我们介绍了如何像传统编程那样从断点开始单步执行，并通过一个运行示例讨论了如何使用该方法进行调试。有关整个系列，请参见[Zbl 1214.68009号]. 引用于9文件 MSC公司： 68N17号 逻辑编程 关键词：答案集编程；程序分析；调试 PDF格式BibTeX公司 XML格式引用 \textit{J.Oetsch}等人，Lect。票据计算。科学。6645、134--147（2011年；Zbl 1327.68068） 全文： 内政部