G(o)del程序推理过程的可视化

• 作者: 李玲 王良霖 赵致琢
• 来源期刊: 集美大学学报（自然科学版）
• 学科: 工学
• 关键词: Gdel语言 Prolog语言 可视化
• 年，卷（期）: 2008,（2）
• 页码范围: 122-126
• 页数: 5页
• 分类号: TP301.6
• 字数: 4016字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7405.2008.02.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵致琢	厦门大学计算机科学系	38	153	6.0	11.0
2	李玲	厦门大学计算机科学系	15	19	3.0	4.0
3	王良霖	厦门大学计算机科学系	2	0	0.0	0.0