基于函数程序设计与基于逻辑程序设计的软件开发

Software Development Based on Functional Pragramming and Based on Logic Programming…

一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的说明性超高级语言。这两类语言的一些共同特点是:具有简单良好的数学基础、高度抽象(即非过程性或说明性)、表达能力强。从软件工程的观点看,它们对提高软件生产率、降低高昂的软件开发成本,保证软件质量具有巨大的潜力。实际上,函数式语言就是为了解决“软件危机”由著名的计算机科学家 Backus 加以发展的。但是这两类语言自诞生后。

Logic Programming(LP)and Functional Programming(FP)are two main, prominent and quite mature software technologies of today.This paper first presents briefly the approach advocated in Reference 3 and its gist,then proposes a similar,but LP-based approach to software development,and finally makes a comparison of the both.The paper also shows the enormous potential of logic programming for software development and the significance of the research work concerned.