length(L,N)

L  must  be  instantiated  to a list of determinate length.  This length is
unified with N.
