人工智能程序设计语言 (PPT 150页)

主要内容
2.1  综述
2.2  函数型程序设计语言LISP
2.3  逻辑型程序设计语言PROLOG
2.4  Turbo  PROLOG程序设计

 

 

内容摘要
2.1.1函数型语言
LISP是一种函数型程序设计语言。LISP程序由一组函数组成，程序的执行过程就是一系列的函数调用和求值过程。但LISP还不是纯函数型语言，准确地讲，它是基于λ--函数的语言。除LISP外，20世纪70年代J.Backus还提出了一种称为FP的所谓纯函数型程序设计语言。但该语言现在还限于理论研究，实现上还存在一定困难。
2.1.2逻辑型语言
逻辑型程序设计语言起源于PROLOG(PROgramminginLOGic的缩写)。PROLOG语言首先由法国马塞大学的Colmerauer和它的研究小组于1972年研制成功，后来在欧洲得到进一步发展。特别是1981年日本宣布要以PROLOG作为他们正在研制的新一代计算机——智能计算机的核心语言，更使PROLOG举世瞩目，迅速风靡世界。

..............................