点击下载:西安石油大学:《人工智能导论》课程教学资源(PPT课件)第2章 逻辑程序设计语言PROLOG
正在加载图片...
3.回溯蕌 所谓回溯,就是在程序运行期间,当某一个子 目标不能满足(即谓词匹配失败)时,控制就返回到 前一个已经满足的子目标(如果存在的话),并撤消 其有关变量的约束值,然后再使其重新满足。成 功后,再继续满足原子目标。如果失败的子目标前 再无子目标,则控制就返回到该子目标的上一级目 标(即该子目标谓词所在规则的头部)使它重新匹配。 回溯也是 PROLOG的一个重要机制
<<向上翻页
向下翻页>>
点击下载:西安石油大学:《人工智能导论》课程教学资源(PPT课件)第2章 逻辑程序设计语言PROLOG
©2008-现在 cucdc.com 高等教育资讯网 版权所有