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.