基于逻辑图的Prolog可视化系统
Prolog Visualization System Using Logichart Diagrams
摘要：
我们已经开发了一个Prolog可视化系统，旨在支持Prolog编程教育。该系统使用Logichart图来可视化Prolog程序。Logichart图被设计为可视化Prolog执行流程，并使用户能够轻松地将Prolog子句与其部分相关联。该系统具有以下功能。(1)它在Logichart图上可视地跟踪Prolog执行（目标调用、成功和失败）。(2)在Prolog程序中，通过调用逻辑外谓词（如“assertz”和“retract”）实现动态变化的实时的可视化. (3)变量替换过程在文本小部件中实时的显示。
英文摘要：
We have developed a Prolog visualization system that is intended to support Prolog programming education. The system uses Logichart diagrams to visualize Prolog programs. The Logichart diagram is designed to visualize the Prolog execution flow intelligibly and to enable users to easily correlate the Prolog clauses with its parts. The system has the following functions. (1) It visually traces Prolog execution (goal calling, success, and failure) on the Logichart diagram. (2) Dynamic change in a Prolog program by calling extra-logical predicates, such as `assertz' and `retract', is visualized in real time. (3) Variable substitution processes are displayed in a text widget in real time.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
