人工智能程序设计语言-59.pptxVIP

人工智能程序设计语言;内容;内容;综述;综述;综述-函数型语言;综述-逻辑型语言;综述-逻辑型语言;综述-面向对象语言;综述-混合型语言;综述-混合型语言;综述-混合型语言;综述-混合型语言;综述-混合型语言;内容;函数型程序设计语言LISP;函数型程序设计语言LISP;LISP的程序结构;一个LISP程序;LISP的根本函数;表处理函数;表处理函数;算术函数;求值与赋值函数;谓词函数;谓词函数;条件函数;条件函数;自定义函数;例 定义求N!的LISP函数;例 HANOI;内容;逻辑型程序设计语言PROLOG;Horn逻辑;Horn逻辑;Horn逻辑;Prolog的根本特点;内容;PROLOG的语句;事实(fact);规那么(rule);问题(question);Prolog的一些内建谓词;PROLOG程序;PROLOG程序的运行机理;PROLOG程序的运行机理;PROLOG程序的运行机理;PROLOG程序的运行机理;设所给的询问是 ?-friend(john,Y).(john和谁是朋友?) 那么求解目标为 friend(john,Y). 这时，系统对程序进行扫描，寻找能与目标谓词匹配合一的事实或规那么头部。显然，程序中前面的四条事实均不能与目标匹配，而第五个语句的左端即规那么;