Счетчик элементов дерева в Prolog

Формулировка задачи:

Определить число вхождений элемента 2 в дерево. Вот наработка

domains
    treetype=tree(integer,treetype,treetype);empty.
predicates
    nondeterm prtree(treetype).
clauses
    prtree(empty).
    prtree(tree(K,L,R)):-write(),prtree(L),prtree(R).
    prtree(tree(K,L,R)):-prtree(L),prtree(R).
goal
    prtree(tree(3,tree(2,tree(1,empty,empty),tree(2,empty,empty)),tree(5,empty,tree(8,tree(9,empty,empty),empty)))).

Решение задачи: «Счетчик элементов дерева в Prolog»

textual
                            Листинг программы 
                        

                            goal
    MyTree = tree(3,tree(2,tree(1,empty,empty),tree(2,empty,empty)),tree(5,empty,tree(8,tree(9,empty,empty),empty))),
    prtree(MyTree),
    count2(MyTree, Count),
    write("Count = ", Count), nl.
                        