一种函数式语言到PROLOG的转换技术

The Technique of Transformation from Functional Language SFL to PROLOG

下载PDF

导出

摘要定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统． 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.

作者宋立彤金成植魏仲慧

机构地区吉林大学计算机科学系

出处《吉林大学自然科学学报》 CAS CSCD 1996年第1期30-34,共5页 Acta Scientiarum Naturalium Universitatis Jilinensis

关键词函数式语言 SFL PROLOG 程序转换程序语言 functional language SFL, PROLOG transforming, sequenticled

分类号 TP312SE [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献1

1宋立彤，软件学报

1江宇波,赵攀,邱玲.基于混合蛙跳的无线传感器网络定位方法[J].四川理工学院学报（自然科学版）,2014,27(4):34-37.
2范彦方.SFL算法的流程图和算法[J].科学大众（智慧教育）,2011(3):176-176.
3尹锋,金席卷,倪问尹,黄建琦.程序框图到源代码的自动转换研究[J].长沙大学学报,2007,21(2):55-59. 被引量：1
4王力德.表格向数据库自动转换系统[J].软件世界,1994(1):15-15.
5张家智.卫导─罗兰自动转换系统的设计[J].厦门水产学院学报,1994,16(1):45-51.
6李友仁,胡勇新,杨萍,张勇.程序转换技术－从Prolog到C[J].计算机工程与应用,1994,30(11):9-13. 被引量：4
7吴国伟,赵艳玲,王龙,倪巍,许立江,冉艳艳.基于蛙跳算法的离散粒子群优化端元提取[J].中国图象图形学报,2015,20(5):724-732. 被引量：4
8苟杰,马自堂.基于MapReduce的并行SFLA-FCM聚类算法[J].计算机工程与应用,2016,52(1):66-70. 被引量：6
9于晓鹏,曹春红.基于SFLA-PSO算法的几何约束求解[J].吉林大学学报（信息科学版）,2012,30(2):203-206. 被引量：1
10何兵,车林仙,刘初升.一种蛙跳和差分进化混合算法[J].计算机工程与应用,2011,47(18):4-8. 被引量：13

吉林大学自然科学学报

1996年第1期

浏览历史

内容加载中请稍等...

一种函数式语言到PROLOG的转换技术

参考文献1

相关作者

相关机构

相关主题

浏览历史