基于Prolog的函数语言解释执行  

Interpreting Functional Language Based on Prolog

作　　者：陈荣鑫[1,2] 廖湖声[2] 

机构地区：[1]集美大学计算机工程学院,福建厦门361021 [2]北京工业大学计算机学院,北京100124

出　　处：《莆田学院学报》2011年第2期57-61,共5页Journal of putian University

基　　金：福建省自然科学基金资助项目(2008J04005)

摘　　要：通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。By introducing a logical design functions of language interpreted language Prolog prototype,showing different declarative languages for software development methods.Such method takes advantage of respective features of different languages to improve programming efficiency and software reliability.Results of samples executed in the functional language interpreter verify the effectiveness of the interpreter.

关 键 词：声明式语言 Lambda演算 PROLOG 函数语言 解释执行 

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