G觟del语言的说明性语义简述  

作　　者：高伟[1] 

机构地区：[1]厦门大学计算机科学系,福建厦门361005

出　　处：《福建电脑》2009年第2期40-41,共2页Journal of Fujian Computer

摘　　要：Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Gdel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。

关 键 词：Gdel语言 类型 说明性语义 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP312FL[自动化与计算机技术—计算机科学与技术]