%% zad. 1.
%% a
plus(0, Y, Y):-!.
plus(X, Y, Z) :-
    succ(PredX, X),
    plus(PredX, Y, PredZ),
    succ(PredZ, Z).

%% %% b
razy(Y,1,Y):-!.
razy(X,Y,Z):-
    succ(PredY,Y),                     pro
    razy(X,PredY,PredZ),
    Z is X + PredZ.

%% zad. 2.
%% b


%% zad. 4.
in(0,0).
in(s(N),D):- in(N,E), D is E +1.


%% zad. 5.
%% Przykladowe wywolanie
%% liscie(t(a,t(b,t(d,nil,nil),t(e,nil,nil)),t(c,nil,t(f,t(g,nil,nil),nil))),L).

liscie(nil,0).
liscie(t(_,nil,nil),1) :- !.
liscie(t(_,L,R),N) :-
    liscie(L,NL), liscie(R,NR), N is NL+NR.