论文部分内容阅读
G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了多种语言的有效成分和优点，引入了类型系统，增加了延迟计算，剪枝操作，模块系统和元程序设计等诸多新的语言成分，这使得它成为一种功能强大的说明性逻辑程序设计语言。G(o)del语言程序采用基于反驳—消解的方法进行目标求解，这是一个比较复杂的推理过程，从用户输入数据到推理机给出执行结果，中间需要经过匹配等一系列运算，要理解程序的执行过程是很不容易的。本文引入计算可视化技术，采用XML来描述推理过程中的一系列中间结果，提出了一种切实可行且适合G(o)del语言自身特点的计算可视化方案。