| 一种函数式语言到PROLOG的转换技术 |
| |
| 引用本文： | 宋立彤,金成植,魏仲慧.一种函数式语言到PROLOG的转换技术[J].吉林大学学报(理学版),1996(1). |
| |
| 作者姓名： | 宋立彤 金成植 魏仲慧 |
| |
| 作者单位： | 吉林大学计算机科学系，中国科学院长春光学精密机械研究所 |
| |
| 摘 要： | 定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．
|
| 关 键 词： | 函数式语言SFL，PROLOG转换，顺序化 |
The Technique of Transformation from Functional Language SFL to PROLOG |
| |
| Song Litong,Jin Chengzhi.The Technique of Transformation from Functional Language SFL to PROLOG[J].Journal of Jilin University: Sci Ed,1996(1). |
| |
| Authors: | Song Litong Jin Chengzhi |
| |
| Abstract: | The article gives general transforming method from functional language to logic language.Based on the method, we designed and realized an automatic transforming system trom functional language SFL to PROLOG. |
| |
| Keywords: | functional language SFL PROLOG transforming sequenticled |
| 本文献已被 CNKI 等数据库收录！ |
