組込述語sort/2必ずしもquicksortで解を得ているとは限らないが、この集合解が返ってくる仕様に決められている.
必ずしもquicksortで解を得ているとは限らないが、