Show simple item record

dc.contributor.author王炳波zh_CN
dc.contributor.author赵致琢zh_CN
dc.contributor.author晏松zh_CN
dc.date.accessioned2011-04-26T08:23:30Z
dc.date.available2011-04-26T08:23:30Z
dc.date.issued2005-12zh_CN
dc.identifier.citation计算机工程与设计,2005(12):3432-3435,3438zh_CN
dc.identifier.issn1000-7024zh_CN
dc.identifier.urihttps://dspace.xmu.edu.cn/handle/2288/8381
dc.description.abstract中文摘要: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.zh_CN
dc.language.isozhzh_CN
dc.publisher《计算机工程与设计》编辑部zh_CN
dc.relation.ispartofseries:1000-7024 (2005) 12-3432-04zh_CN
dc.subjectGödelzh_CN
dc.subject类型推理zh_CN
dc.subject多态多类zh_CN
dc.subject类型系统zh_CN
dc.subjectPrologzh_CN
dc.subjectpolymorphic many-sorted;zh_CN
dc.subjecttype deductionzh_CN
dc.subjecttype system;zh_CN
dc.titleGödel 语言类型系统zh_CN
dc.title.alternativeType system in programming language Gödelzh_CN
dc.typeArticlezh_CN


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record