| 新基于Prolog的函数语言解释执行 |
| 陈荣鑫[1,2] 廖湖声[2] |
| 关键词：声明式语言 Lambda演算 Prolog 函数语言 解释执行 |
| 主要内容：通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。 |
| 《莆田学院学报》 2011,18(2).-57-61 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号