| 知识推理描述语言MLND的归约实现模型RMND |
| |
| 引用本文： | 许满武,刘凤玉. 知识推理描述语言MLND的归约实现模型RMND[J]. 计算机学报, 1992, 0(5) |
| |
| 作者姓名： | 许满武 刘凤玉 |
| |
| 作者单位： | 南京大学计算机科学系，华东工学院计算机科学与工程系 南京 210008，南京 210014 |
| |
| 摘 要： | 本文主要描述采用归约式计算机体系结构来支持知识推理描述语言MLND中函数式和逻辑式风格结合的程序设计,内容包括MLND的概要,基语言设计,系统运行和功效分析等。
|
| 关 键 词： | 归约机 函数式程序设计 逻辑式程序设计 λ-演算 合一 |
A REDUCTION MACHINE MODEL RMND FOR IMPLEMENTING KNOWLEDGE INFERENCE REPRESENTATION LANGUAGE MLND |
| |
| Xu Manwu. A REDUCTION MACHINE MODEL RMND FOR IMPLEMENTING KNOWLEDGE INFERENCE REPRESENTATION LANGUAGE MLND[J]. Chinese Journal of Computers, 1992, 0(5) |
| |
| Authors: | Xu Manwu |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
