第第2章章 人工智能程序设计语言人工智能程序设计语言 第第2章章 人工智能程序设计语言人工智能程序设计语言 2.1 综述综述2.2 函数型程序设计语言函数型程序设计语言LISP 2.3 逻辑型程序设计语言逻辑型程序设计语言PROLOG 2.4 Turbo PROLOG程序设计程序设计第页第第2章章 人工智能程序设计语言人工智能程序设计语言 2.1 综述综述2.1.1函数型语言LISP是一种函数型程序设计语言。LISP程序由一组函数组成,程序的执行过程就是一系列的函数调用和求值过程。但LISP还不是纯函数型语言,准确地讲,它是基于-函数的语言。除LISP外,20世纪70年代J.Backus还提出了一种称为FP的所谓纯函数型程序设计语言。但该语言现在还限于理论研究,实现上还存在一定困难。第页第第2章章 人工智能程序设计语言人工智能程序设计语言 2.1.2逻辑型语言逻辑型程序设计语言起源于PROLOG(PROgramminginLOGic的缩写)。PROLOG语言首先由法国马塞大学的Colmerauer和它的研究小组于1972年研制成功,后来在欧洲得到进一步发展。特别是1981年日本宣布要以