l(0).
l(N0) :-
   l(N1),
   N0 is N1+1.