中文会议： 广西师范大学学报自然科学版第21卷第1期第七届中国人工智能联合学术会议论文集

会议日期： 2003-01-01

会议地点： 桂林

主办单位： 中国计算机学会；中国人工智能学会

出版日期： 2003-01-01

出版地： 桂林

作　　者： ; ; ;

机构地区： 中山大学

出　　处： 《第七届中国人工智能联合学术会议》

摘　　要： Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂,在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡,对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.

关 键 词： 逻辑程序设计 证明论 表推演 程序语言 过程语义

分 类 号： [TP312]

领　　域： [自动化与计算机技术] [自动化与计算机技术]