Помогите с прогой на Турбо Прологе: Дана последовательность. Построить бинарное упорядоченное дерево, сделать обход дерева, подсчитать число узлов дерева. в моем случае обходы: Обход снизу вверх, сверху вниз.
с обходами я разобрался а вот подсчитать количество узлов немогу да и прога получилась несовсем правильной((
Помогите исправить, очень надо!!!

вот текст проги:

DOMAINS
treetype = tree(integer, treetype,treetype); empty()
PREDICATES
traverse(treetype)
traverse2(treetype)
s(string)
c(string)
CLAUSES
s(Obj):-Obj="сверху вниз", write(Obj), nl,nl.
traverse(empty).
traverse (tree(Name,Left,Right)):-write(Name, '\n'),traverse(Left),traverse(Right).
c(Object2):- Object2="снизу вверх", write(Object2),nl,nl.
traverse2(empty).
traverse2 (tree(Name,Left,Right)):-traverse2(Left),traverse2(Right),write (Name, '\n').
goal
s(_),
traverse(tree(5,
tree(2,
tree(0, empty,empty),
tree(4,empty,empty)),
tree(9,
tree(7,empty,empty),
tree(8,empty,empty)))),
c(_),
traverse2(tree(5,
tree(2,
tree(0, empty,empty),
tree(4,empty,empty)),
tree(9,
tree(7,empty,empty),
tree(8,empty,empty)))).