% listlength2.pl:

listlength([],0).
listlength([_|T],Len) :- listlength(T,TailLen),
                         Len is TailLen + 1.