为何Prolog中回溯结束时返回False的行为存在差异？

示例1：温度与水的状态关联 #

% water/2 关联温度与状态
water(Temp, solid) :- Temp =< 0.
water(Temp, liquid) :- Temp > 0, Temp < 100.
water(Temp, gas) :- Temp >= 100.

?- water(50,X).

X = liquid
false

该示例中，Prolog找到X=liquid的解后，尝试回溯搜索更多解，未找到新解时返回false。

示例2：亲子关系事实 #

% parent 事实
parent(john, jane).
parent(john, james).
parent(sally, jane).
parent(martha, sally).

?- parent(X, jane).
X = john
X = sally

该示例中，Prolog找到X=john和X=sally两个解后，未继续提示搜索，也未返回false。

核心差异原因 #

这种区别的本质是Prolog解释器是否存在未处理的选择点：

• 示例1的water(50,X)：
  当匹配到water(Temp, liquid)子句得到解后，解释器的执行栈中还存在未尝试的子句（water(Temp, gas)），也就是存在选择点。当触发回溯（比如手动按分号请求更多解），解释器会尝试这条剩余子句，但50 >= 100为假，无新解生成，因此返回false，表示所有可能的选择点已遍历完毕，没有更多解。

• 示例2的parent(X, jane)：
  当匹配到第二个事实parent(sally, jane)得到解后，所有能匹配查询的事实都已被遍历，不存在剩余的选择点。解释器明确知道没有更多潜在解，因此直接结束查询流程，不会返回false。

简言之：查询结束后若还有未尝试的子句/事实（存在选择点），回溯完所有可能后会返回false；若所有匹配项都已尝试完毕，无选择点残留，则直接结束，不返回false。

内容的提问来源于stack exchange，提问作者Prolog ByExample