[论文解读] Declarative program development in Prolog with GUPU

Ulrich Neumerkel, Štefan Král|ArXiv.org|Jul 11, 2002

Teaching and Learning Programming参考文献 7被引用 6

一句话总结

GUPU 是一个无副作用的 Prolog 环境，专为教学场景中的声明式程序开发而设计，通过示例规范、即时反馈的实现以及基于切片和可视化的调试，引导学生完成开发流程。它通过将测试用例与参考实现进行验证，提供诊断反馈，并支持基于约束的编程，结合可视化工具和作业完成标记系统，提升学习效果。

ABSTRACT

We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, covering specification, implementation, and program debugging. GUPU features several innovations in this area. The specification phase is supported by reference implementations augmented with diagnostic facilities. During implementation, immediate feedback from test cases and from visualization tools helps the programmer's program understanding. A set of slicing techniques narrows down programming errors. The whole process is guided by a marking system.

研究动机与目标

• 通过引导学生完成规范、实现和调试阶段，支持 Prolog 课程中的声明式程序开发。
• 通过在编码前强调示例规范，减少初学者的命令式思维。
• 通过测试用例验证和诊断，提供即时、可操作的反馈，支持开发过程。
• 通过集成可视化和切片技术，提升对程序的理解与错误定位能力。
• 维持无副作用环境，支持约束逻辑编程与教育工具集成。

提出的方法

• 示例规范：学生在实现谓词前编写测试用例（正例与负例），使用 Prolog 语法并添加特殊标记以表示断言。
• 参考实现：一个隐藏的正确 Prolog 谓词用于验证测试用例的正确性与一致性，标记出不兼容或错误的断言。
• 诊断反馈：GUPU 为错误断言提供针对性解释，包括正例失败时的通用查询，以及负例失败时更具体的目标。
• 即时反馈系统：保存文件后，GUPU 将诊断消息（如 @! 表示缺失谓词，!= 表示测试用例不兼容）直接插入源代码中。
• 可视化与查看器：无副作用的查看器（如 Postscript、repsched/1）可实时渲染解决方案，如调度结果或代理状态，提升理解。
• 切片与标记系统：通过切片技术改进错误定位，标记系统根据满足的测试用例计算作业完成百分比。

实验结果

研究问题

• RQ1 如何在基于 Prolog 的教育环境中有效支持测试优先开发？
• RQ2 哪些机制可引导学生在实现前正确规范程序，从而减少命令式误解？
• RQ3 如何利用参考实现验证学生测试用例，同时不暴露内部逻辑？
• RQ4 实时诊断与可视化在提升学生对声明式程序理解方面有哪些作用？
• RQ5 无副作用环境如何支持教学场景中复杂的基于约束的编程任务？

主要发现

• GUPU 成功将测试用例与参考实现进行验证，通过 != 或 @! 标记立即标识不一致之处。
• 系统为错误断言提供针对性诊断反馈，例如为失败的负例测试生成更具体的目标，或为失败的正例测试生成通用查询。
• 学生在编码过程中获得即时反馈，提升了对程序的理解，并减少了调试时间。
• 该环境通过集成查看器（如 repsched/1 用于调度、postscript 查看器用于图形输出）支持高级约束编程。
• 标记系统根据满足的测试用例计算完成百分比，为开发过程提供可量化的进度反馈。
• 采用示例规范显著减少了学生在递归 Prolog 谓词中对终止条件的命令式误解。