prolog - Prolog二叉树节点值计数

Question

谁能帮助我如何在 Prolog 中实现计算二叉树所有节点数的谓词？

例如：

tree1(tree(1,
        tree(2,
            tree(3,nil,nil),
            tree(4,nil,nil)),
        tree(5,
            tree(6,nil,nil),
            tree(7,nil,nil))
    )
). 

会返回 28。有人可以帮忙吗？

Answer 1

简单的递归解决方案。不是尾递归的。

treesum(nil, 0).
treesum(tree(X,T1,T2), S) :-
    treesum(T1, S1), treesum(T2, S2),
    S is X+S1+S2.