Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[-Goedel descr iptive language is a logic programming language. Based on the language of the first order logic, the introduction of a multi-state more of the types of systems and a variety of new language elements. support abstract data types and modular programming techniques, the language itself has a very strong illustrative semantics. Details on the type of language Goedel system and its structure, right in logic programming language introduced type of system the role of in-depth analysis and discussion. [