Люди, помогите с программой!!! Сам пробовал исправить, но не получилось.
Задание:
Определите отношение sum_tree( T, Sum), истинное, если число Sum равно сумме всех вершин дерева Т.

есть программа, которая определяет отношение num_tree( T, L), истинное, если число L равно количеству элементов дерева Т.

вот код


DOMAINS
type=integer
tree=t(tree,type,tree); e
PREDICATES
 num(tree,integer)
 num_tree(tree,integer,symbol)
  tab(integer)
  add(type,tree,tree)
  draw(tree)
  draw2(tree,integer)
CLAUSES
  tab(0).
  tab(X):-
    write(" "),tab(Y),X=Y+1.
  draw(X)
    :-draw2(X,0).
  add(X,e,t(e,X,e)).
  add(X,t(L,X,R),t(L,X,R)).
  add(X,t(L,Y,R),t(L1,Y,R)):-
    X<Y,add(X,L,L1).
  add(X,t(L,Y,R),t(L,Y,R1)):-
    X>Y,add(X,R,R1).
  draw2(e,_).
  draw2(t(L,X,R),T):-
    T2=T+2,draw2(R,T2),tab(T),write(X),nl,draw2(L,T2).
num(e,0).
num(t(TL,_,TR),F):-num(TL,L),num(TR,R),F=L+R+1.
num_tree(T,L,X):-num(T,F),F=L,X="yes".
num_tree(T,L,X):-num(T,F),F<>L,X="no".
GOAL
add(6,e,T),add(4,T,T1),add(10,T1,T2),add(2,T2,T3),
add(5,T3,T4),add(8,T4,T5),add(12,T5,T6),
add(1,T6,T7),add(7,T7,T8),add(1,T8,T9),
draw(T9),num_tree(T9,9,X),write("X=",X).

никто не знает?