Prolog语言与G(O)del语言中元程序设计方法的研究

• 作者: 李慧琪 王啸澜 赵致琢
• 来源期刊: 厦门大学学报（自然科学版）
• 学科: 工学
• 关键词: G(O)del语言 Prolog语言 元程序设计 抽象数据类型 部分求值
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 信息科学与技术
• 页码范围: 247-250
• 页数: 4页
• 分类号: TP312
• 字数: 2626字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2005.z1.059

摘要

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵致琢	厦门大学计算机科学系	38	153	6.0	11.0
2	王啸澜	厦门大学软件学院	1	0	0.0	0.0
3	李慧琪	厦门大学计算机科学系	8	12	2.0	3.0