prolog简单教程.pptVIP

匹配与回溯 自动实现的搜索算法之一——匹配 Prolog语言能自动将目标与知识库子句集中的事实、规则的结论部分（从第一句开始到最后一句为止）逐句进行匹配。下述三种情况之一者匹配成功： （1） 完全相同 例：thief(john) 与 thief(john) （2）谓词相同，相应项一为变量，一为常量 ——变量实例化 例：thief(Y)与thief(john) 匹配结果：Y 被实例化为john {john/Y} （3）谓词相同，相应项均为变量 ——变量一致化 clauses likes(tom,talk). /*1*/ likes(bill,swim). /*2*/ likes(bill,talk). /*3*/ likes(mary,wine). /*4*/ likes(tom,X):- likes(mary,X). /*5*/ 如果Goal：likes(bill,talk) 与第3句匹配一致 如果Goal： likes(tom,wine) 与第5句左部匹配{wine/ X} 任务转化为likes(mary,wine) 与第3句匹配一致 clauses likes(tom,talk). /*1*/ likes(bill,swim). /*2*/ likes(bill,talk). /*3*/ likes(mary,wine). /*4*/ likes(tom,X):- likes(mary,X). /*5*/ 如果Goal：likes(tom,swim) 与第5句左部匹配{swim / X} 任务转化为likes(mary,swim) 与1—5匹配均失败 clauses fact(1,1 ) . /*1*/ fact(X,Y):- X1 =X-1, fact(X1,Y1), Y=X*Y1 . /*2*/ 设Goal：fact(2,N) 与1匹配失败 与2左部匹配成功 {2/X , N/Y} 产生三个子目标： (1) X1=2-1 (2) fact(X1,Y1) (3) N=2*Y1 (1) X1=1 立即成功 (2) fact(1,Y1) 与/*1*/ 匹配成功 {1/Y1 } (3) N=2*1=2 成功 自动实现的搜索算法之二——回溯 例: clauses likes(tom,talk). /*1*/ likes(bill,swim). /*2*/ likes(bill,talk). /*3*/ friend(john,X):-likes(X,talk),likes(X,swim) /*4*/ 设Goal:friend(john,Who) 搜索指针 P1=1?3失败，p1=4成功，{Who/X} 变量一致化，产生两个子目标： (1) likes(Who,talk) P2-1=1 成功, 变量实例化 {tom/ Who} (2) li