% len(L,N) - list L has length N

len([],0).
len([_|T],N) :- 0 < N, len(T,M), N is M+1.