用GUPU开发Prolog中的声明式程序

The Prolog Debugger and Declarative Programming. Examples

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.

The Prolog debugger and 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. 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.

论声明式诊断的可行性

On Feasibility of Declarative Diagnosis

本文探讨Prolog程序调试中声明式诊断方法被忽视的问题，分析其弱点并提出克服方案，论证了声明式诊断在实际编程中的可行性与应用价值。

ProDebug：Prolog的自动化调试系统

ProDebug: An Automated Debugging System for Prolog

提出结合大语言模型、频谱和变异技术的Prolog自动调试系统ProDebug，用于识别学生作业中的错误并生成修复方案。

声明式多范式程序设计的集成开发环境

An Integrated Development Environment for Declarative Multi-Paradigm Programming

在本文中，我们提出了CIDER（咖喱集成开发环境），一个分析和编程环境的声明性多范式语言咖喱。CIDER是一个图形环境，通过提供程序分析和可视化的集成工具来支持Curry程序的开发。CIDER完全在Curry中实现，使用GUI编程（基于Tcl/Tk）和元编程库。我们的环境的一个重要方面是开发环境对其他声明性源语言（例如，Prolog或Haskell）和扩展性w.r.t.新的分析方法。为了支持后一个特性，底层实现语言Curry的惰性求值策略变得非常有用。

用部分求值生成Prolog测试数据

On the Generation of Test Data for Prolog by Partial Evaluation

在最近的工作中，我们提出了一种方法来测试数据生成（TDG）的命令式字节码的部分评价（PE）的CLP，它包括两个阶段：（1）字节码程序首先转换成一个等价的CLP程序通过解释编译的PE，（2）第二个PE是为了监督生成的测试用例的CLP反编译程序的执行。由PE的TDG的主要优点包括灵活地处理新的覆盖标准，获得测试用例生成器的可能性和它的简单性来实现。该方法原则上可以直接应用于任何命令式语言的TDG。然而，当人们试图将其应用于像Prolog这样的声明性语言时，我们发现作为一个主要困难的测试用例的生成，该测试用例覆盖了Prolog更复杂的控制流。从本质上讲，问题是，PE的一个内在特征是，它只计算非失败的推导，而在TDG的Prolog它是必不可少的，以产生相关的测试用例失败的计算。基本上，我们建议将原来的Prolog程序转化为一个等价的Prolog程序与明确的失败部分评估的Prolog解释器捕获失败的派生w.r.t.输入程序。另一个问题，我们讨论的文件是，虽然在字节码的情况下，基本的约束域只操纵整数，在Prolog中，它应该正确地处理由程序操纵的符号数据。由此产生的方案是感兴趣的，使其固有的优势，在TDG的PE的逻辑编程领域。