listlen([],0).
listlen([_|T],N):-listlen(T,N1),N is N1+1.

listlen1(L,N):-lenacc(L,0,N).
lenacc([],A,A).
lenacc([_|T],A,N):-A1 is A+1,lenacc(T,A1,N).