| 摘要: |
| ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间． |
| 关键词: 函数程序设计，逻辑程序设计，图归约 |
| DOI： |
| 分类号: |
| 基金项目:国家“七·五”期间基础研究项目 |
|
| INTERPRETER TECHNIQUE OF ELNF CALCULUS |
|
Jin Hai;,Li Zhiyong;,Zhang Yunzhen;,Yang Fumin,Yin Hai
|
| Abstract: |
| 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. |
| Key words: Functional programming logic programming graph reduction. |
