摘要
本文主要描述采用归约式计算机体系结构来支持知识推理描述语言MLND中函数式和逻辑式风格结合的程序设计,内容包括MLND的概要,基语言设计,系统运行和功效分析等。
This paper describes a reduction computer architecture model supportingthe amalgamation of functional and logical programming. Contents include the framework of MLND, base language, system running and performanct analysis.
出处
《计算机学报》
EI
CSCD
北大核心
1992年第5期356-363,共8页
Chinese Journal of Computers
基金
国家高技术基金
关键词
归约
程序设计
知识推理
MLND语言
Reduction computer architecture, functional programming, logical programming λ-calculus, unification.
