资源描述：
《逻辑程序设计语言范型Prolog语言控制抽象》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、21九月2021程序设计语言范型ProgrammingLanguagesParadigms教师：张荣华华北电力大学计算机系软件教研室（保定）逻辑程序设计语言范型Prolog语言控制抽象第三部分第七章Prolog语言控制抽象第七章-3参考文献LearnPrologNow!byPatrickBlackburn,JohanBos,andKristinaStriegnitzhttp://www.coli.uni-saarland.de/~kris/learn-prolog-now/Prolog语言控制抽象第七章-4内容1.Prol
2、og语言概述1.1Prolog的基本元素1.2Prolog实验环境2.合一2.1项的合一2.2归结2.3基于合一编程3.控制流Prolog语言控制抽象第七章-51.Prolog语言概述Prolog（ProgramminginLogic）诞生于20世纪70年代初法国马赛大学作为自然语言理解项目的一部分研制成功目前，爱丁堡大学开发的Prolog版本使用最为广泛。迄今最能体现逻辑程序设计思想的逻辑编程语言“说明式”的语言；采用一阶谓词演算说明（描述）问题知识库（事实和规则）的描述采用子句（Clause）形式控制流机制置换、合一归
3、结回溯、深度优先搜索反向推理Prolog语言控制抽象第七章-6内容1.Prolog语言概述1.1Prolog的基本元素1.2Prolog实验环境2.合一2.1项的合一2.2归结2.3基于合一编程3.控制流Prolog语言控制抽象第七章-71.1Prolog的基本元素【例1】：水平线与垂直线问题。使用两个谓词：vertical/2和horizontal/2vertical(line(point(X,Y),point(X,Z))).horizontal(line(point(X,Y),point(Z,Y))).vertical
4、(line(point(1,1),point(1,3))). yes事实查询/目标horizontal(line(point(1,1),point(2,Y))). Y = 1 ; nohorizontal(line(point(2,3),P)). P = point(_G434,3) ; noProlog语言控制抽象第七章-81.1Prolog的基本元素【例2】求解以下六个英语单词的纵横字谜问题。abalone,abandon,anagram,connect,elegant,enhance事实规则Prolog语言控制抽象第
5、七章-91.1Prolog的基本元素Prolog程序的语句（子句）包括：(1)事实（Facts）没有体部的horn子句，即被假定为真的命题。(2)规则（Rules）有头和体的horn子句，只有体部的每个项都为真，头部才为真。father(john,jim).grandparent(Person1,Person2):-parent(Person3,Person2),parent(Person1,Person3).HeadBodyProlog语言控制抽象第七章-101.1Prolog的基本元素Prolog语句由项（term）构
6、成①常量原子（atom）：Prolog的符号值以小写字母开始的一串字母、数字、下划线或用单引号界定的一串任何可打印的ASCII字符。整数②变量以大写字母开始一串字母、数字和下划线；下划线（_）表示匿名变量；注意与命令式语言中变量的区别。③结构（谓词/复杂项）vertical(line(point(X,Y),point(X,Z))).Prolog语言控制抽象第七章-111.1Prolog的基本元素Prolog程序运行通过提问查询知识库使用分号（；）查询多个解（multipleanswers）分号有特定的语义：表示结束当前合一
7、，回溯查找其它可满足的解。Prolog语言控制抽象第七章-12内容1.Prolog语言概述1.1Prolog的基本元素1.2Prolog实验环境2.合一2.1项的合一2.2归结2.3基于合一编程3.控制流Prolog语言控制抽象第七章-131.2Prolog实验环境SWI-Prolog（推荐使用!）http://www.swi-prolog.org/安装文件（注意顺序安装）（1）SWI-PrologforMS-Windows（version5.10.1）（2）SWI-Prolog-Editorhttp://lakk.bil
8、dung.hessen.de/netzwerk/faecher/informatik/swiprolog/indexe.htmlProlog语言控制抽象第七章-14内容1.Prolog语言概述1.1Prolog的基本元素1.2Prolog实验环境2.合一2.1项的合一2.2归结2.3基于合一编程3.控制
