Prolog语言与G6del语言中元程序设计方法的研究 |
| |
引用本文: | 王啸澜,赵致琢,李慧琪.Prolog语言与G6del语言中元程序设计方法的研究[J].厦门大学学报(自然科学版),2005,44(6):247-250. |
| |
作者姓名: | 王啸澜 赵致琢 李慧琪 |
| |
作者单位: | [1]厦门大学软件学院 [2]厦门大学计算机科学系,福建厦门361005 |
| |
摘 要: | 元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能.研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义,Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本通过对这两种语言中的元程序设计方法进行研究.讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现.
|
关 键 词: | Prolog语言 程序设计方法 程序语言 智能计算 自动优化 逻辑语言 调节功能 实现程序 实现机制 主要特点 设计功能 功能实现 部分求值 构造方法 解释程序 元程序 自解 |
本文献已被 维普 等数据库收录! |