%0 Journal Article %T INTERPRETER TECHNIQUE OF ELNF CALCULUS
ELNF演算的解释技术 %A Jin Hai %A Li Zhiyong %A Zhang Yunzhen %A Yang Fumin %A Yin Hai %A
金海 %A 李智勇 %A 张运桢 %A 阳富民 %A 银海 %J 软件学报 %D 1994 %I %X 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. %K Functional programming %K logic programming %K graph reduction
函数程序设计,逻辑程序设计,图归约 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=B212CFFA85F0C03ECE475E20D50AEB34&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=38B194292C032A66&sid=2A3781E88AB1776F&eid=318E4CC20AED4940&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=9