Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent. However the Prolog debugger works solely in terms of the operational semantics. So it is incompatible with declarative programming. This report discusses this issue and tries to find how the debugger may be used from the declarative point of view. The results are rather not encouraging. Also, the box model of Byrd, used by the debugger, is explained in terms of SLD-resolution.

中文翻译：

---

Prolog 调试器和声明式编程

逻辑编程是一种声明式编程范式。编程语言 Prolog 使逻辑编程成为可能，至少在很大程度上是这样。然而，Prolog 调试器仅在操作语义方面工作。所以它与声明式编程不兼容。本报告讨论了这个问题，并试图从声明的角度找出如何使用调试器。结果并不令人鼓舞。此外，调试器使用的 Byrd 盒模型也根据 SLD 分辨率进行了解释。