论文部分内容阅读
G(o|¨)del语言是继Prolog语言之后出现的一种通用、高效、表达性较强的说明性逻辑程序设计语言,它摒弃了Prolog语言中的非逻辑成分,试图解决Prolog语言中存在的语义问题。在多年来逻辑程序设计研究和原有Prolog语言的基础上,G(o|¨)del语言引入了类型系统和模块系统,增加了延迟计算和剪枝操作等控制机制,支持抽象数据类型(ADT)和元程序设计,使它具有较强的可表达性能力。逻辑程序设计语言的重要性早已为人们所熟知,但G(o|¨)del语言作为新型逻辑程序设计语言,它为人们所熟悉和认同需要一定的时间和实践,尤其需要合适的编译程序和开发环境支持。本文承接项目组开发的一个G(o|¨)del语言编译程序,设计和初步实现了一个G(o|¨)del语言程序设计环境GPDE(G(o|¨)del Programming Development Environment),它是一个在Windows环境下开发的集程序设计、文件编辑、程序编译、连接装配、运行调试和程序执行等多种功能于一体的具有良好人机交互界面的可视化程序设计环境,为G(o|¨)del语言程序设计与开发提供了良好的支持。我们依据现代系统软件开发原理和风范,在给出用户需求分析和系统基本功能分析的基础上,设计并提出了实现G(o|¨)del语言程序设计环境GPDE的体系结构模型,阐述了该体系结构模型的工作原理及其各功能模块的设计思想,分析了它与编译程序和推理机程序的关系,并着重阐述了GPDE中多文档机制的源程序编辑程序、项目资源管理和可视化计算技术等部件的实现方法和技术。模块系统是G(o|¨)del语言的重要成分和机制,它支持抽象数据类型(ADT)程序设计。G(o|¨)del语言本身拥有一个丰富的系统模块库,可为用户提供几乎满足各种应用需要的抽象数据类型。模块系统在GPDE中的组织和实现为G(o|¨)del语言的编译系统提供了一种模块独立编译的实现机制。本文详细介绍了分块编译和类型安全链接机制,对模块系统在GPDE中的组织方法和实现进行了详细的分析和设计,给出了模块系统实现的功能结构,并对其中的编译预处理、模块存储器和独立编译生成中间文件等主要的功能模块及其实现做了详细的阐述,同时,对G(o|¨)del语言系统模块的实现和动态调用做了详细的介绍,并给出了系统模块的实现实例。我们设计和实现的这个G(o|¨)del语言程序设计环境GPDE基本上拥有当前高级语言程序设计环境的功能组成,它将为G(o|¨)del语言的推广、深入研究起到一定的基础作用。相信随着G(o|¨)del语言编译系统实现技术的逐步成熟,以及其程序设计环境的不断完善,G(o|¨)del语言将会受到更多的关注。