ELNF归约演算

Reduction Calculus ELNF

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。

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.