Gdel语言类型系统  

Type system in programming language Gdel

作　　者：王炳波[1] 赵致琢[1] 晏松[1] 

机构地区：[1]厦门大学计算机科学系,福建厦门361005

出　　处：《计算机工程与设计》2005年第12期3432-3435,3438,共5页Computer Engineering and Design

摘　　要：Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。Goedel is a declarative logic programming language. It is based on first order logic with a polymorphic many-sorted type system. Having a strong declarative semantic Goedel can be used to realize abstract data types and programming in modules. The type system was introduced and the function of the type system in a logic programming language was discussed.

关 键 词：Goedel PROLOG 类型系统 多态多类 类型推理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]