P5. Fa minden levélértékének növelése
    
    % fa_noveltje(*Fa0, ?Fa): Fa úgy áll elő a Fa0 bináris fából, hogy az
    % utóbbi minden egyes levelében levő értéket 1-gyel megnöveljük.
    
    | ?- fa_noveltje(node(leaf(1),node(leaf(2),leaf(3))), Fa).
    Fa = node(leaf(2),node(leaf(3),leaf(4))) ? ; no

----------------------------------------------------------------

Nézze meg a 201. előadásdián levő tree_sum/2 predikátumot:

% tree_sum(Tree, S): Σ Tree = S.
tree_sum(leaf(Value), Value).
tree_sum(node(Left,Right), S) :-
    tree_sum(Left, S1),
    tree_sum(Right, S2),
    S is S1+S2.

Hasonló szerkezetben írja meg a fa_noveltje/2 predikátumot:

- Az első klóz valósítsa meg az egylevelű fa növelését, pl, leaf(7)
  bemenetből a leaf(8) kimenetet állítsa elő!

- A második klóz kezelje a csomópontokat: kettős rekurzióval valósítsa
  meg a bal és jobb részfák növelését, majd építse össze a két
  részeredményt egy node/2 struktúrává!