第7章逻辑程序设计语言范型(Prolog语言控制抽象).pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Prolog语言控制抽象 第七章 - * 3.1 Prolog控制流设计问题 目标导向的搜索有效地裁减了无关的搜索路径 Prolog语言控制抽象 第七章 - * 内容 1.Prolog语言概述 2.合一 3.控制流 3.1 Prolog控制流设计问题 3.2 回溯 3.3 递归 3.4 Prolog程序的顺序性 3.5 cut 3.6 fail Prolog语言控制抽象 第七章 - * 3.2 回溯 【例1】使用与/或树解释合一失败后回溯搜索。 C=X=_G206 seattle/_G206 失败并回溯 Prolog语言控制抽象 第七章 - * 3.2 回溯 【例1】使用与/或树解释合一失败后回溯搜索。 C=X=_G206 seattle/_G206 rochester/_G206 Prolog语言控制抽象 第七章 - * 3.2 回溯 【例2】使用与/或树解释利用回溯搜索多个解。 X=_G206, Y=_G207 a/X, c/Z a/Y 解1 Prolog语言控制抽象 第七章 - * 3.2 回溯 【例2】使用与/或树解释利用回溯搜索多个解。 X=_G206, Y=_G207 a/X, c/Z a/Y b/Y 解2 解1 Prolog语言控制抽象 第七章 - * 3.2 回溯 【例2】使用与/或树解释利用回溯搜索多个解。 X=_G206, Y=_G207 a/X, c/Z a/Y b/Y 解2 解1 b/X, c/Z a/Y 解3 Prolog语言控制抽象 第七章 - * 3.2 回溯 【例2】使用与/或树解释利用回溯搜索多个解。 X=_G206, Y=_G207 a/X, c/Z a/Y b/Y 解2 解1 b/X, c/Z a/Y 解3 b/Y 解4 Prolog语言控制抽象 第七章 - * 3.2 回溯 【例3】求解以下六个英语单词的纵横字谜问题。 abalone, abandon, anagram, connect, elegant, enhance Prolog语言控制抽象 第七章 - * 3.2 回溯 a a b l o n e a n a g r a m o c n n e c t a a d n e e e a t h n e a a d n b o n l e e a t n g n e h n e c a a a o e a a r m c n e t Prolog语言控制抽象 第七章 - * 3.2 回溯 Prolog语言控制抽象 第七章 - * 内容 1.Prolog语言概述 2.合一 3.控制流 3.1 Prolog控制流设计问题 3.2 回溯 3.3 递归 3.4 Prolog程序的顺序性 3.5 cut 3.6 fail Prolog语言控制抽象 第七章 - * 3.3 递归 从过程的观点看子目标： 规则的体部含有对其它谓词的调用，这些谓词称为规则的子目标，子目标可能是： 事实； 其它的规则； 同一条规则（递归调用）——递归子句 基子句 递归子句 Prolog语言控制抽象 第七章 - * 3.3 递归 e/X, b/ Y Prolog语言控制抽象 第七章 - * 3.3 递归 e/X, b/ Y e/X, b/Y d/Z d/Z Prolog语言控制抽象 第七章 - * 3.3 递归 e/X, b/ Y e/X, b/Y d/Z d/Z d/X, b/Y c/Z Prolog语言控制抽象 第七章 - * 内容 1.Prolog语言概述 2.合一 3.控制流 3.1 Prolog控制流设计问题 3.2 回溯 3.3 递归 3.4 Prolog程序的顺序性 3.5 cut 3.6 fail Prolog语言控制抽象 第七章 - * 3.4 Prolog程序的顺序性 Prolog程序查询目标时按照特定的顺序自动执行： 基于目标反向推理 深度优先 自上而下搜索知识库中的Horn子句； 从左向右搜索规则体中的各个项； 使用回溯机制尝试新的搜索； Prolog是否是纯逻辑式编程语言？ Prolog语言控制抽象 第七章 - * 3.4 Prolog程序的顺序性 Prolog程序控制流（suggested by Lawrence Byrd） GOAL Exception (error) CALL FAIL EXIT REDO Prolog语言控制抽象 第七章 - * 内容 1.Prolog语言概述 2.合一 3.控制流 3.1 Prolog控制流设计问题 3.2