/*
   length(Xs,N) :- Xs is a list of length N.
*/
     length([X|Xs],N) :- N > 0, N1 is N-1, length(Xs,N1).
     length([],0).

%  Program 8.10   Checking the length of a list