第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】使用与/或树解释利用回溯搜索多个