序言 - 平衡的树

Question

我想编写一个程序，告诉我一棵树是否平衡。在这种情况下，平衡表示相同的高度或高度差为1。

这是我到目前为止写的东西，但对1.的高度差异不起作用。为什么？

balanced(l(_)).
balanced(b(B1, B2)):-
    height(B1,H),
    height(B2,H),
    balanced(B1),
    balanced(B2).

balanced(b(B1,B2)):-
    height(B1,H + 1),
    height(B2,H),
    balanced(B1),
    balanced(B2).

balanced(b(B1,B2)):-
    height(B1,H),
    height(B2,H + 1),
    balanced(B1),
    balanced(B2).

Answer 1

H + 1 未评估 H 再加上一个，如果您不告诉Prolog进行算术评估；相反，Prolog建立一个术语 + 作为函子和 H 和 1 作为论点。 （尝试 H + 1 =.. L 并检查价值 L 说服自己这个事实。）

做类似的事情

height(B1, H1),
height(B2, H2),
abs(H1 - H2) =< 1.

=< 将执行算术评估。