受限的proflog语言及其表推演过程语义

• 作者: 姜云飞 孙吉贵 陈荣
• 来源期刊: 广西师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 非单调性 逻辑程序设计 证明论 表推演 proflog
• 年，卷（期）: 2003,（1）
• 页码范围: 27-33
• 页数: 7页
• 分类号: TP312PR
• 字数: 6321字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-6600.2003.01.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学系	134	2984	21.0	52.0
2	陈荣	中山大学软件所	16	74	5.0	8.0
3	姜云飞	中山大学软件所	84	1013	18.0	28.0