逻辑程序设计语言Gödel的形式化过程性语义 ; The Formalized Procedural Semantic of Logic Programming Language Gödel

Gödel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了许多语言的有效成分和优点，引入了类型系统，这使得它成为一种高效的说明性逻辑程序设计语言。然而，时至今日，Gödel语言编译系统的开发研究仍然进展缓慢，主要原因是多态多类的类型系统、模块化结构、延迟计算、剪枝操作等多种新语言成分和机制的引入，使逻辑程序设计语言Gödel的复杂程度大大提高，而面向过程程序设计语言的编译方法和技术完全不同于具有递归性、说明性特点的逻辑程序设计语言，先前关于Prolog语言的编译方法和技术不能简单移. ; Gödel is a declarative logic programming language succeeded to Prolog. It is based on many-sorted first order logic with parametric polymorphism, discards the features of Prolog which are non-logical, introduces type system, integrates the merit of many languages, adds some new language components which let it be efficient declarative programming language. However, the complexity of Göde. ; 学位：工学硕士 ; 院系专业：信息科学与技术学院计算机科学系_计算机软件与理论 ; 学号：23020061152431