关键词: Gö, del编译器, 类型推断, 多态处理

Abstract: Gödel is a developing logic programming language whose compiler has not been developed yet. The type system is one of the language’s features. The language is polymorphic. It means that some variables’ type can’t be determined untill runtime. If a program does the type-checking for this variables while running， a lot of time would be taken. A method to dispose the variables’ type in compiler is proposed. The method brings the work of that variables’ type-checking into compile-time by using some type-inference rules， improving the running efficiency.

Key words: Gö, del compiler, type inference, polymorphic disposal