知识程序设计语言lisp和+prolog综述

《知识程序设计语言lisp和+prolog综述》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、瞄U壁——竺盟0雨矿—]口陬万方数据知识程序设计语言LISP和PROLOG综述程(苏州市职业大学媛江苏215104)摘要通过对知识程序设计语言LISP和PROLOG两种语言进行分析比较，揭示了二者间的差异和以及所具有的共同特点。关键词LISPPROLOG比较特点中图分类号TP312文献标识码B文章编号101117-5608KnowledgeLanguagePrOgrammingLISP＆PROLOGChengYuan(SuzhouVocationalCollegeJiangsu215104AbstractB

2、othLISPandPROLOGlanguagearetwoimportantlanguage，whichhaveextensiveapplicationstoartificialintelligenceprogrammedesign．Revealsthedifferencesofthetwolanguagesandthecomprehensivecomparisonofthetwolanguages．KeywordsLISPPROLOGComparisonCharacteristicsLISP(ListP

3、rocessing)语言和PROLOG(Programminginlogic)语言，作为人工智能程序设计语言族中应用最为广泛的两种语言。是两种完全不同类型的程序设计语言，各有特点。一、它们的产生与发展LISP语言是1960年由美国麻省理工学院著名计算机专家j晶n．M．Carthy教授设计实现的，后来发展为许多不同的版本，在人工智能研究领域得到了广泛的应用。PROLOG语言的思想最早是由KowalskiR首先提出的，1972年世界上第一个PROLOG系统由Alain，Colmerauer及其研究成员在法国马赛

4、大学研制自然语言问题系统时研制成功的。最初的PROLOG语言是解释型的，因为它运行速度慢，又难以扩充，后来发展为TurboPROLOG，成为一种纯编译型语言。二、两种语言各自不同的特点LISP语言是一种表处理(LISPProcessing)语言，它语言结构清晰，层次分明，是一门更接近于数学语言的语言。而PROLOG(Programminginlogic)语言是以一阶谓词逻辑为理论基础的逻辑程序设计语言。1、LISP语言具有它自己的独特之处。具体表现在如下几个方面：(1)LISP语言中的表达式是一种前缀表达式

5、在其它程序设计语言或我们平常的书写习惯中，总是将运算符写在两个操作数中间，如1+2，这种表示法称为中缀表达式。但在LISP语言中要执行的函数总是放在第一个位置上，后面跟着该函数的作用对象，也就是说LISP采用前缀表示法，如(+12)。(2)LISP程序的基本形式是一系列函数定义·28‘办公自动化杂志LISP程序的通常形式是一系列函数定义，其后跟着一系列带有参数的函数调用，函数之间的关系只是在调用执行时才体现出来。Lisp中没有语句概念，也没有分程序结构或其它语法结构，语句中的一切成分都是以函数的形式给出的。

6、定义(函数名形式参数表)(函数定义体)1：}定义段定义(函数名形式参数表)(函数定义体)J(函数名实参表)、：}调用段(函数名实参表)J(3)LISP是一种表处理语言，这是它的最显著点。人工智能的基本出发点就是认为智能行为可通过符号处理发生，LISP语言是专门为符号处理设计的。一批数据、一个集合、一组特征、一条规则、一棵树、一个记录乃至一个LISP程序都可用表表示。这使得它与一般高级程序设计语言如FORTRAN、ALGOL、PASCAL等有着很大的不同。在LISP语言中，由二进制数形成的类似单词的基本对象称

7、为原子，原子组合成表，表可进一步组合成高级表，能表示句子、文章等任意复杂结构。例如，通过符号表达式(IBM(A2kind20fComputerCompany)(Headquarters，NYC))可以描述IBM公司的一些基本情况。同时LISP语言提供了丰富的诸如CAR、CDR、CONS、LIST、APPEND、REVERSE等过程使表中元素的选择和表的构造操作灵活方便，简单易行。例如，表处理程序(CAR(CDR’(IBM(A—kind-ofCmoputerCompany)(Headquarters。NYC)

8、)))结果是取出表中第二个元素(A—kind-ofComputerCompany)。由于LISP语言的表结构简单，处理灵活，因此很适合各种知识的表示。万方数据(4)递归是LISP语言的主要控制结构递归是LISP语言的基础，是LISP语言的主要控制结构。它大量应用递归程序，不仅使程序结构清晰，适应许多人工智能问题求解，而且对用户定义新函数提供了有力手段。(5)除递归这种主要控制结构外，Lisp还提供了传统的顺序程序