| 基于Prolog的函数语言解释执行 |
| |
| 引用本文： | 陈荣鑫,廖湖声.基于Prolog的函数语言解释执行[J].莆田高等专科学校学报,2011(2):57-61. |
| |
| 作者姓名： | 陈荣鑫 廖湖声 |
| |
| 作者单位： | [1]集美大学计算机工程学院,福建厦门361021 [2]北京工业大学计算机学院,北京100124 |
| |
| 基金项目： | 福建省自然科学基金资助项目（2008J04005） |
| |
| 摘 要： | 通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。
|
| 关 键 词： | 声明式语言 Lambda演算 Prolog 函数语言 解释执行 |
Interpreting Functional Language Based on Prolog |
| |
| CHEN Rong-xin,LIAO Hu-sheng.Interpreting Functional Language Based on Prolog[J].Journal of Putian College,2011(2):57-61. |
| |
| Authors: | CHEN Rong-xin LIAO Hu-sheng |
| |
| Institution: | 1.Computer Engineering College,Jimei University,Xiamen Fujian 361021,China;2.College of Computer Science,Beijing University of Technology,Beijing 100124,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | declarative language Lambda calculus Prolog functional language interpreting execution |
| 本文献已被 维普 等数据库收录！ |
