| Goedel语言类型系统 |
| |
| 引用本文： | 王炳波 赵致琢 晏松. Goedel语言类型系统[J]. 计算机工程与设计, 2005, 26(12): 3432-3435,3438 |
| |
| 作者姓名： | 王炳波 赵致琢 晏松 |
| |
| 作者单位： | 厦门大学计算机科学系,福建厦门361005 |
| |
| 摘 要： | Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。
|
| 关 键 词： | Goedel Prolog 类型系统 多态多类 类型推理 |
| 文章编号： | 1000-7024（2005）12-3432-04 |
| 收稿时间： | 2004-10-09 |
| 修稿时间： | 2004-10-09 |
Type system in programming language Goedel |
| |
| WANG Bing-bo, ZHAO Zhi-zhuo, YAN Song. Type system in programming language Goedel[J]. Computer Engineering and Design, 2005, 26(12): 3432-3435,3438 |
| |
| Authors: | WANG Bing-bo ZHAO Zhi-zhuo YAN Song |
| |
| Affiliation: | Department of Computer Science, Xiamen University, Xiamen 361005, China |
| |
| Abstract: | 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. |
| |
| Keywords: | goedel prolog type system polymorphicmany-sorted type deduction |
| 本文献已被 维普 等数据库收录！ |
