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.