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

摘要：

如何在元程序设计中表示目标程序是元程序设计的关键.对于逻辑程序语言,目标程序的表示方法有两种:基本表示与非基本表示.Prolog语言与G(o)del语言分别支持使用非基本表示与使用基本表示的元程序设计方法.本文通过对这两种语言中的元程序设计方法进行比较,详细分析了基本表示与非基本表示的主要特点以及Prolog语言与G(o)del语言对元程序设计提供的系统支持.

关键词： G(o)del语言 Prolog语言 元程序设计 抽象数据类型 部分求值

作者: 王啸澜 赵致琢 李慧琪

作者单位: 厦门大学软件学院,厦门,361005 厦门大学计算机系,厦门,361005

会议类型: 国内会议

会议名称: 2005年中国模糊逻辑与计算智能联合学术会议

会议地点: 深圳

会议语种:中文

页码: 24-29

在线出版日期: 2005-04-16（万方平台首次上网日期，不代表论文的发表时间）