| G(o)del程序推理过程的可视化 |
| |
| 引用本文： | 王良霖,赵致琢,李玲.G(o)del程序推理过程的可视化[J].集美大学学报(自然科学版),2008,13(2):122-126. |
| |
| 作者姓名： | 王良霖 赵致琢 李玲 |
| |
| 作者单位： | 厦门大学计算机科学系,福建,厦门,361005 |
| |
| 摘 要： | 主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.
|
| 关 键 词： | Gdel语言 Prolog语言 可视化 |
The Visualization of G(o)del Programs |
| |
| WANG Liang-lin,ZHAO Zhi-zhuo,LI Ling.The Visualization of G(o)del Programs[J].the Editorial Board of Jimei University(Natural Science),2008,13(2):122-126. |
| |
| Authors: | WANG Liang-lin ZHAO Zhi-zhuo LI Ling |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
