prolog --寻找neni (2)

混合查询

我们可以把简单的查询连接起来，组成复杂的查询。

?- location(X,kitchen),edible(X).

简单查询只有一个目标，而混合查询可以把这些目标连接起来。从而进行较为复杂的查询。

， 合取  且 的意思。

该查询意思为：寻找满足条件的X，条件是：X位于kitchen中，且可以吃（具有edible属性）

如果某个变量在查询中多次出现，那么此变量在所有出现的位置都必须绑定相同的值，所以该查询，只有找到一个X 得值，使得两个目标都成立，才算查询成功。

每次查询所使用的都是局部变量。

除了使用逻辑的方式理解混合查询外，还可以通过分析程序运行步骤的方式来理解

如该查询可以这么理解：首先找到一样位于厨房的东西，然后判断它是否能吃。

如果不能，那就找到下一样东西，在判断能否使用，直至找到答案，或者是把厨房的东西都查找完毕。

[debug]  ?- location(X,kitchen),edible(X).
 T Call: () location(_G533, kitchen)
 T Exit: () location(broccoli, kitchen)  %匹配第一个子句成功
 T Call: () edible(broccoli)   %匹配第二个子句
 T Fail: () edible(broccoli)   %匹配第二个子句失败，解除第一个子句的绑定，回溯上一个匹配成功的子句，发现并没有，回溯到最开始状态。
 T Redo: () location(_G533, kitchen)  %重新匹配第一个子句
 T Exit: () location(crackers, kitchen)
 T Call: () edible(crackers)  % 匹配第二个子句
 T Exit: () edible(crackers)  %匹配成功，绑定X，同时显示
X = crackers ;
 T Redo: () location(_G533, kitchen)
 T Exit: () location(apple, kitchen)
 T Call: () edible(apple)
 T Exit: () edible(apple)
X = apple.

[debug]  ?- 

上面为一个变量的。下面是两个变量的。

?- door(kitchen,R),location(T,R).

意思:找到和kitchen有们相邻的R，找到位于R中的T

[debug]  ?- door(kitchen,R),location(T,R).
 T Call: () door(kitchen, _G534)
 T Exit: () door(kitchen, office)  %匹配第一个子句成功
 T Call: () location(_G536, office)  %开始匹配第二个子句
 T Exit: () location(desk, office)   %匹配第二个子句，
R = office,
T = desk ;
 T Redo: () location(_G536, office)  %释放 T，重新在上一次匹配成功的子句后面寻找其他符合目标的条目
 T Exit: () location(computer, office)  % 再次找到符合条目，绑定，显示
R = office,
T = computer ;
 T Redo: () door(kitchen, _G534) %SWI-prolog的原因，没有显示上面那次location匹配失败，重新开始匹配door子句，
 T Exit: () door(kitchen, cellar)   %找到 door 子句 绑定 R cellar
 T Call: () location(_G536, cellar)   % 查找 location子句
 T Exit: () location('washing mechine', cellar)
R = cellar,
T = 'washing mechine'.

[debug]  ?- 

如图所示，由于SWI-prolog的不显示 fail 的原因，所以，我同样copy一份教程上的 debug 调试信息

?-door(kitchen,R),location(T,R).

call door(kitchen,R)  %匹配第一个子句
exit()  door(kitchen,office)
call  location(T,office)  %第一个子句匹配成功之后，匹配第二个子句
exit()  location(desk,office)
R = office
T = desk

redo location(T,office) %释放掉T，重新开始查询剩余的与location相匹配的条目
exit() location(computer,office)  %匹配成功
R = office
T = computer           

redo  location(T,office)   %释放掉 T ，再次查询剩余的与location相匹配的条目
fail  location(T,office)   % 查询失败，释放掉 R，返回上一次匹配成功的子语句，发现并没有，所以会到最初状态

redo door(kitchen,R)    % 在最开始匹配成功的条目后面，查找剩余的和door相匹配的条目
exit() door(kitchen,cellar)  %匹配door成功，帮定R
call  location(T,cellar)   %开始查找第二个子句
exit() location('washing room',cellar)  %查找成功，绑定R，显示R，T
R = cellar
T = 'washing room'

redo location(T,cellar)  %释放 T，重新开始查找剩下的和location相匹配的条目
fail location(T,cellar)  % 查找失败 释放已经绑定的R，返回上一次匹配成功的子句，发现没有，会到最初状态

redo  door(kitchen,R)  % 重新查找剩余的和door相匹配的条目
fail  door(kitchen,R)   %查找失败结束所有查找
no