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

The Visualization of Gdel Programs

作　　者：王良霖[1] 赵致琢[1] 李玲[1] 

机构地区：[1]厦门大学计算机科学系,福建厦门361005

出　　处：《集美大学学报（自然科学版）》2008年第2期122-126,共5页Journal of Jimei University：Natural Science

基　　金：福建省自然科学基金资助项目(A0310007)

摘　　要：主要介绍了实现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.

关 键 词：GODEL语言 PROLOG语言 可视化 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]