说明性语义相关论文
Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了......
逻辑程序设计是一种说明性程序设计方式，它将程序的逻辑和控制分开，程序员只需考虑逻辑描述部分，控制部分则完全交付语言的编译或解释......
G(o)del语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言.本文基于类型一阶谓词逻辑的模型论,阐明了G(o)del语言的说......
