| Prolog语言与G(O)del语言中元程序设计方法的研究 |
| |
| 引用本文： | 王啸澜,赵致琢,李慧琪.Prolog语言与G(O)del语言中元程序设计方法的研究[J].厦门大学学报(自然科学版),2005,44(Z1). |
| |
| 作者姓名： | 王啸澜 赵致琢 李慧琪 |
| |
| 摘 要： | 元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.
|
| 关 键 词： | G(O)del语言 Prolog语言 元程序设计 抽象数据类型 部分求值 |
Research on Mta-programming in G(O)del Language and Prolog Lnguage |
| |
| WANG Xiao-lan,ZHAO Zhi-Zhuo,LI Hui-qi.Research on Mta-programming in G(O)del Language and Prolog Lnguage[J].Journal of Xiamen University(Natural Science),2005,44(Z1). |
| |
| Authors: | WANG Xiao-lan ZHAO Zhi-Zhuo LI Hui-qi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
