dlugosc([], 0). dlugosc([G|O], N) :- dlugosc(O, N1), N is N1 + 1.