摘要
本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.
This paper is concerned with a compilation-interpretation system of 'function + logic' programming environment implemented on a 16-bit microcomputer (IBM-PC/AT) in C language. The system is developed on the basis of an LISP-ELP and extended Warren's abstract instruction set PLM, but a reduction instruction has been added. It can give support to the compiling for the logic part and to the interpreting for the function part. The specific features, structure, implementing skills as well as the time-space efficiency are discussed.
出处
《华中理工大学学报》
CSCD
北大核心
1991年第2期1-4,共4页
Journal of Huazhong University of Science and Technology
关键词
LISP-ELP
编译
解释系统
程序设计
Functional/logic programming
Compile
Abstract instruction set
Reduction
Efficiency analysis
