第十六章智能程序设计语言.pptVIP

　　5. 条件函数 　　条件函数也称分支函数, 类似于其他语言中的分支语句, 其作用是控制程序的流程。最常用到的条件函数是COND函数。 　　格式 (COND (P1 e1) 　　　 (P2 e2)  　　　　　(Pn en)) … 其中Pi(i=1,…,n)为谓词, ei(i=1,…,n)为一个或多个S-表达式。 * 第 16 章 智能程序设计语言 第 16 章 智能程序设计语言 16.1 综述 16.2 函数型程序设计语言 16.3 Visual Prolog语言简介 习题十六 16.1 综 述 16.1.1 函数型语言 　　LISP是一种函数型程序设计语言。LISP程序由一组函数组成, 程序的执行过程就是一系列的函数调用和求值过程。 但 LISP还不是纯函数型语言, 准确地讲, 它是基于λ－函数的语言。除LISP外, 20世纪70年代J.Backus还提出了一种称为FP的所谓纯函数型程序设计语言。 但该语言现在还限于理论研究, 实现上还存在一定困难。 16.1.2 逻辑型语言 　　逻辑型程序设计语言起源于PROLOG(PROgramming in LOGic)。 PROLOG语言首先由法国马塞大学的Colmerauer和