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

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