len(0,[]).
len(Z,[X|Y]):-len(K,Y),Z is K+1.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  