上記の要素数のカウント部分は独立してlength/2という組込述語となっている.
/2