###
DOI:
Journal of Software:1994.5(3):49-54

ELNF演算的解释技术
金海,李智勇,张运桢,阳富民,银海
(华中理工大学计算机系,武汉 430074)
INTERPRETER TECHNIQUE OF ELNF CALCULUS
Jin Hai;,Li Zhiyong;,Zhang Yunzhen;,Yang Fumin,Yin Hai
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2393   Download 2622
Received:May 13, 1991    Revised:November 25, 1991
> 中文摘要: ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数/逻辑演算系统,它构成了作者设计的函数/逻辑语言RFUNLOG的基础.本文介绍ELNF演算的解释实现技术,包括数据结构、系统结构以及各个模块的设计思想.最后给出了在此解释系统下,几个典型程序的运行时间.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家“七·五”期间基础研究项目 国家“七·五”期间基础研究项目
Foundation items:
Reference text:

金海,李智勇,张运桢,阳富民,银海.ELNF演算的解释技术.软件学报,1994,5(3):49-54

Jin Hai;,Li Zhiyong;,Zhang Yunzhen;,Yang Fumin,Yin Hai.INTERPRETER TECHNIQUE OF ELNF CALCULUS.Journal of Software,1994,5(3):49-54