| ELNF归约演算 |
| |
| 引用本文： | 阳富民,吴永英,冯玉才. ELNF归约演算[J]. 华中科技大学学报(自然科学版), 1994, 0(12) |
| |
| 作者姓名： | 阳富民 吴永英 冯玉才 |
| |
| 作者单位： | 华中理工大学计算机科学与工程系 |
| |
| 摘 要： | ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。
|
| 关 键 词： | 归约演算；归结；计算模型 |
Reduction Calculus ELNF |
| |
| Yang FuminDept.of Computer Sci.,Eng.,H,U.S.T.,Wuhan ,China).,Wu Yongying,Feng Yucai. Reduction Calculus ELNF[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 1994, 0(12) |
| |
| Authors: | Yang FuminDept.of Computer Sci.&Eng. H U.S.T. Wuhan China). Wu Yongying Feng Yucai |
| |
| Affiliation: | Yang FuminDept.of Computer Sci.&Eng.,H,U.S.T.,Wuhan 430074,China).,Wu Yongying,Feng Yucai |
| |
| Abstract: | The evolution of various kinds of calculus and the corresponding languages and potentialcalculating ability of the graph reduction computation model are surveyed.An implementa-tion mechanism with integrated reduction semantics for functionl/logic programming lan-guages is proposed.On the basis of LNF,ELNF calculus is developed by the introduction ofthe logic variables,predicate names,logic functors SOLUTION,PROVE and their reduc-tion rules,Some basic concepts in ELNF calculus,such as the well formed formula,func-tor,constructor,etc. are defined so that a useful way to describe the Horn clauses is provid-ed.The implementation mechanism of the language,RFUNLOG,is given. |
| |
| Keywords: | reduction calculus resolution computation model |
| 本文献已被 CNKI 等数据库收录！ |
|
