Godel语言中面向对象技术的实现.pdfVIP

2005年中国模糊逻辑与计算智能联合学术会议论文集 83 G6del语言中面向对象技术的实现 王炳波，赵致琢 (厦门大学计算机科学系，厦门361005，Email：W_bingbo@yahoo．corn．cn) 摘要：G6del语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，支持抽象数据类型和模块化程序设计等 技术，语言本身也具有很强的说明性语义。本文引入了在G6del语言中支持面向对象的程序开发技术的新的语言成分， 对面向对象技术在语言中的实现和应用进行了一些深入的分析和讨论。 关键词：GiSdel；面向对象；模块；模块系统 Oriented in Gijdel Object TechniqueProgrammingLanguage WANG Zhi—zhuo Bing—bo，ZHA0 of Science，Xiamen (DepartmentComputer isadeclarative a declarative CallbeusedtO Abstract：G6del logicprogramminglanguage．Havingstrong semantic，Gtel realizeabstractdata andmodulesin somenew Cando oriented imported syntax，thelanguageobject types programming．By discussestherealizationand ofthe oriented ina programming．Thispaper applicationobject techniquelogicprogramming language． Keywords：G6del，ObjectOriented，Module，ModuleSystem 性特征。G6del语言的主要机制包括一个类型系统， 一个模块系统，一些控制机制，元程序设计和输入／ 1 引 言 输出部分。G6del语言是一种多态多类的语言，其类 型系统是一个强类型系统：G6del语言程序设计采用 G6del语言是继逻辑程序设计语言Prolog之后模块化结构。在这个强类型系统和模块系统的支持 提出的一个既实用又具说明性的逻辑程序设计语 下，很好的实现了对抽象数据类型、封装、隐藏、 言。众所周知，Prolog相对于其他许多高级语言在代码重用等程序设计技术的支持，为在语言中实现 描述上是更高级的和更有效率的，比较直观地反映 面向对象技术打好了基础。 人的思维结构和概念描述方式。然而，由于Prolog 我们将在本文中介绍对G6del语言成分的修改， 语言不包含类型说明机制，使得它的表达能力很有 讨论G6del语言是如何支持面向对象的程序设计的。 限。而且，Prolog程序不具有清晰的说明性语义，下面我们先来讨论Gtjldel语言所引入的模块系统。 甚至包含了复杂的过程语义。这意味着分析、转换、 优化、验证、调试Prolog程序非常困难[1】，程序员 2 G6del语言的模块系统简介 的负担很重。 G6del语言的出现可以改变这种状况。通过比较 Gi3del语言为满足开发大型复杂的程序，采用了 Prolog语言和G6del语言，我们从中可以看到G6del 开发独立的构件再组装成更大