list_length1([],0).
list_length1([_|Tail],Length) :- 
             list_length1(Tail,TailLength),
             Length is TailLength + 1.