Gdel程序推理过程的可视化

The Visualization of Gdel Programs

主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.

This paper describes the ideas that enable VASG to visualize the structure and control flow＇ of Godel programs. Two types of graphical representation for a Godel program are proposed. They visualize pro-gram structure and the logical relations of predicates, and assist the user to analyze a program statically. Execution animation on the graphical representations is also proposed. It dynamically visualizes the control flow during execution of a program, and assists the user to find any unintended portions in the execution.