第4章Prolog语言.pptVIP

第4章 Prolog语言 主要参考书: 陈兆乾，潘金贵，Turbo Prolog程序设计，南京大学出版社，1993年 第一节 Turbo Prolog语言的基本概念与设计基础 一、陈述式语言与过程式语言 过程式语言需要给计算机指定操作步骤和求解过程。 汇编语言和高级语言。(Fortran、C语言等)都是过程式语言。 陈述式语言只需要为计算机描述已知条件以及什么条件将会产生什么结果，并阐述目标是什么。 Prolog语言是陈述式语言。 二、Prolog与谓词逻辑 Prolog语言是一种基于谓词逻辑的语言。 例如∶ 玛丽喜欢苹果。 likes (mary , apples ). 如果玛丽喜欢某种东西，则汤姆也喜欢它。 likes (tom, X) :- likes ( mary, X ). 在Prolog语言中 命题可表示为∶ 谓词 ( 对象1，对象2，… , 对象n ) 其中∶对象又称之为个体或变元。 谓词可以用小写字母、数字和下横线组合而成，不能有空格，第一个必须是小写字母，总长度在250个字符以内。 对象也用字母、数字和下横线组合而成，若为变量，第一个字母要求大写； 若为常量，字母全为小写。 三、连结词与其它符号 ，表示 and ；表示 or :- 表示 if 例如: likes ( tom, X ) : - likes (mary, X ), fruit ( X ) , color ( X, red ). 注意∶在 -后面可以接着写，但为了阅读方便另起一行 第二节 Turbo Prolog程序的结构 一、Turbo Prolog语言程序的一个实例 同义词、反义词程序 Wordsmith 二、Prolog的程序结构 三、内部目标与外部目标 内部目标∶Prolog程序中的目标。 外部目标∶Prolog程序中没有目标，在程 序运行时由用户键入。 区别∶ 外部目标:引起Prolog语言的内部合一程序搜索目标的所有解。 内部目标∶找出满足目标的一个解之后，内部合一程序停止工作。 四、子句 事实和规则称为子句 五、算术运算 第三节 Turbo Prolog的内部合一程序 一、内部合一程序 Prolog内部进行匹配和执行有关操作的机制是由内部合一程序实现的。它根据事实和规则，执行目标和子目标的匹配，以证明目标和子目标，决定规则的右部是否产生更进一步的目标。 Prolog语言中，只需按语法逻辑描述有关事实和规则，剩下的工作将由内部合一程序去做。 例如∶ goal likes ( mary, apples) . clauses likes ( beth, apples). likes (mary, pears). likes ( mary, oranges). likes (mary, apples). 二、回 朔 若为外部目标∶ 作 业 用Prolog语言建立一个微型的咨询专家系统，咨询知识的领域自定。 * antonym ( rare , common). / *--------------------- end of program --------------------------------- */ 分别用 pay_rate 结果是: Debble is the sister of Sam. 结果: True. 1 2 3 4 结果∶ likes (beth, apples ) 1 2 3 4 结果∶ likes (beth, apples ) likes (beth, popcorn ) *