论文标题
序言调试器和声明性编程。例子
The Prolog Debugger and Declarative Programming. Examples
论文作者
论文摘要
本文包含伴侣论文“ Prolog debug和声明性编程”的示例，该论文讨论了宣言编程的序言调试器的充分性。 逻辑编程是声明性编程范式。编程语言序言至少在很大程度上使逻辑编程成为可能。但是，Prolog调试器仅根据操作语义来工作。因此，它与声明性编程不兼容。同伴论文试图从声明性的角度找到使用它的方法。在这里，我们提供了应用它们的示例。
This paper contains examples for a companion paper "The Prolog Debugger and Declarative Programming", which discusses (in)adequacy of the Prolog debugger for declarative programming. 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. The companion paper tries to find methods of using it from the declarative point of view. Here we provide examples of applying them.
