length( [], 0 ).
length( [ X | Y ], Z ):- length( Y, W ), plus( W, 1, Z ).
