摘要
ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数/逻辑演算系统,它构成了作者设计的函数/逻辑语言RFUNLOG的基础.本文介绍ELNF演算的解释实现技术,包括数据结构、系统结构以及各个模块的设计思想.最后给出了在此解释系统下,几个典型程序的运行时间.
ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability. It is the base of the functional/logic programming language RFUNLOG. This paper introduces the interpreter implementation technique of ELNF calculus, include data structure, system structure and the design idea of each modular. At last, the run time of several typical programs under this interpreter system is also presented.
出处
《软件学报》
EI
CSCD
北大核心
1994年第3期49-54,共6页
Journal of Software
基金
国家"七.五"期间基础研究项目
关键词
逻辑程序
ELNF演算
程序设计
Functional programming
logic programming
graph reduction.