Сумма вершин дерева на Prolog'е

[wolf950]

Определите предикат tree_sum(T,S), так чтобы S равнялось сумме всех чисел-узлов, входящих в дерево T.
Буду очень благодарен!

Вот что я понаписал, но нефига не работает:

domains
tree = l(integer) or t(integer,treelist)
treelist = tree*
list = integer*
n=integer
predicates
tree_sum(treelist,n)
clauses
tree_sum ([],0).
tree_sum(t(X,L,R),N):-
tree_sum (L,N1),
tree_sum (R,N2),
N=N1+N2+X.