| 函数／逻辑语言归约实现技术 |
| |
| 引用本文： | 阳富民 冯玉才. 函数／逻辑语言归约实现技术[J]. 计算机研究与发展, 1996, 33(9): 647-651 |
| |
| 作者姓名： | 阳富民 冯玉才 |
| |
| 作者单位： | 华中理工大学计算机系 |
| |
| 摘 要： | ＲＦＵＮＬＯＧ是我们在ＬＮＦ演算基础上自行设计实现的一种函数／逻辑语言，它具有统一的操作语义。本文介绍ＲＦＵＮＬＯＧ语言的总体结构、归约操作语义及其解释实现技术。
|
| 关 键 词： | 归约 函数式语言 逻辑程序设计 程序设计 |
A FUNCTION/LOGIC LANGUAGE IMPLEMENTATION TECHNIQUE WITH REDUCTION SEMANTICS |
| |
| Yang Fumin, Feng Yucai, Wu Yongying, and Wu Hengshan. A FUNCTION/LOGIC LANGUAGE IMPLEMENTATION TECHNIQUE WITH REDUCTION SEMANTICS[J]. Journal of Computer Research and Development, 1996, 33(9): 647-651 |
| |
| Authors: | Yang Fumin Feng Yucai Wu Yongying Wu Hengshan |
| |
| Abstract: | RFUNLOG is a function/logic programming language designed and implemented by ourselves. It has integrated operational semantics. This paper describes thegeneral architecture, reductional operational semantics and the interpretation implementation techniques of RFUNLOG. |
| |
| Keywords: | Reduction functional language logic programming. |
| 本文献已被 CNKI 维普 等数据库收录！ |
