| 受限的proflog语言及其表推演过程语义 |
| |
| 引用本文： | 陈荣,孙吉贵,姜云飞.受限的proflog语言及其表推演过程语义[J].广西师范大学学报(自然科学版),2003,21(1):27-33. |
| |
| 作者姓名： | 陈荣 孙吉贵 姜云飞 |
| |
| 作者单位： | 1. 中山大学,软件所,广东,广州,510275
2. 吉林大学,计算机科学系,吉林,长春,130023 |
| |
| 基金项目： | 广东省自然科学基金资助项目(011162);中山大学青年教师科研启动基金资助项目 |
| |
| 摘 要： | Fitting提出一种逻辑程序设计语言proflog，并把表推演机制作为语言的过程语义，表推演具有直观，灵活的特点，它的单步扩展规则具有很强的语义特征，它是扩展逻辑程序类的另一个理想的证明论，不过proflog包含了全部一阶理论，等词的替换性使得proflog过程语义比较复杂，在此提出讨论一种受限的程序语言cProflog，它包含函词，但限制了等词的替换性，体现了表达能力与计算复杂性之间的平衡，对于逻辑程序语言cProflog，还给出了复杂性较低的表推演过程。
|
| 关 键 词： | 表推演 过程语义 非单调性 逻辑程序设计语言 证明论 proflog 扩展规则 |
| 文章编号： | 1001-6600(2003)01-0027-07 |
| 修稿时间： | 2002年7月29日 |
CONSTRAINED PROFLOG LANGUAGE AND ITS PROCEDURAL SEMANTICS BASED ON TABLEAU |
| |
| Abstract: | |
| |
| Keywords: | proflog |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
