中文摘要：Gödel 语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种
新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Gödel
语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。
英文摘要：Gödel 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 Gödel 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
