Prolog if子句返回false

Question

我正在学习Prolog，但有一个小问题。 我正在研究一个“建造”塔的例子。

因此，我定义了3个块a，b和c。 第三个块c位于a和b的顶部->，因此由a和b支持。

block(a).
block(b).
block(c).

%supported(BLOCK, BY1, BY2)
supported(c,a,b).


level(BLOCK, LEVEL) :-
      supported(BLOCK, X, _)
   -> (level(X, LEV1), LEVEL is LEV1 + 1)
   ;  LEVEL is 0.

我还有一个函数来计算块的级别。 我的问题如下：

?- level(X, 0).
false.

?- level(X, 1).
X = c.

为什么0级返回false，我该如何解决？ 我想有一个方法，它向我返回0级的a和b。

Answer 1

考虑到

?- level(a,0).
true.

这是显而易见的，当BLOCK是免费的supported(BLOCK, X, _)成功，迫使上意外连词治level(X, LEV1), LEVEL is LEV1 + 1 ，确实失败。

要更正该行为，请绑定BLOCK ：

level(BLOCK, LEVEL) :-
  block(BLOCK),
  (supported(BLOCK, X, _) -> level(X, LEV1), LEVEL is LEV1 + 1 ; LEVEL is 0).

Answer 2

可以使用trace.来调试它trace. （添加缩进）：

[trace]  ?- level(X, 0).
   Call: (6) level(_G2697, 0) ? creep
     Call: (7) supported(_G2697, _G2771, _G2772) ? creep
     Exit: (7) supported(c, a, b) ? creep
     Call: (7) level(a, _G2771) ? creep
       Call: (8) supported(a, _G2771, _G2772) ? creep
       Fail: (8) supported(a, _G2771, _G2772) ? creep
     Redo: (7) level(a, _G2771) ? creep
       Call: (8) _G2770 is 0 ? creep
       Exit: (8) 0 is 0 ? creep
     Exit: (7) level(a, 0) ? creep
     Call: (7) 0 is 0+1 ? creep
     Fail: (7) 0 is 0+1 ? creep
   Fail: (6) level(_G2697, 0) ? creep
   false.

所以发生了什么事？

首先，您调用level(X,0). 此谓词支持supported(BLOCK,X,_). 有一个统一的答案： BLOCK=a ， X=b和_=c 。 因此，这意味着if-then-else语句使用then -part。

在随后的部分中，它再次使用level(b,LEV1)查询level/2 ，现在此调用导致对support(b,LEV1,_)的调用。 对于此调用，它无法解决该调用，因为不存在第一个值为b support谓词。 因此，现在我们进行其他部分。 我们统一LEV1 is 0 ，因此LEV1=0并返回。

在返回部分（然后是部分）中， level(b,0)是结果。 现在我们将LEVEL is LEV1+1统一LEVEL is LEV1+1 ，但是LEVEL已被设置为0且0+1为1 。 因此，它在顶层失败。

该决议可能使supported更精细，并把它定义为： support/2 。

该程序读取：

block(a).
block(b).
block(c).

%supported(BLOCK, BY1, BY2)
supported(c,b).
supported(c,a).
supported(b,a).

现在level谓词为：

level(B,L) :-
    supported(B,C),
    level(C,LC),
    L is LC+1.
level(_,0).