编写一个谓词is_heap（Tree），如果Tree满足heap属性，则返回true，否则返回false

Question

如果对于树中的每个非叶节点，存储在该节点的数字小于或等于存储在其每个子节点的数字，则二叉树称为堆（或者，称为满足堆属性）。例如，下面的树满足heap属性，因为3≤ 5, 5 ≤ 8和5≤ 7.

tree(empty,3,tree(tree(empty,8,empty),5,tree(empty,7,empty)))

另一方面，下面的树不满足堆属性，因为6不小于或等于5。

tree(tree(tree(empty,4,empty),
        3,tree(empty,5,empty)),6,tree(tree(empty,9,empty),7,empty))

示例:

?- is_heap(tree(tree(tree(empty,4,empty),
         3,tree(empty,5,empty)),6,tree(tree(empty,9,empty),7,empty))).
false.

?- is_heap(tree(empty,3,tree(tree(empty,8,empty),5,tree(empty,7,empty)))).
true 

任何帮助都将得到认可。

Answer 1

你可以像这样开始。这里的树是树（值，左，右），但你可以很容易地改变它。然后你开始：

is_heap(empty).
is_heap(tree(X, L, R)) :-
    is_heap(L, X),
    is_heap(R, X).

现在您只需要编写is_heap/2，就可以了。类似于：

is_heap(empty, ...).
is_heap(tree(X, L, R), X0) :-
    ...,
    is_heap(L, X),
    ....