Random Access to Files

There are two methods of finding and setting the stream position, stream positioning and seeking. The current position of the read/write pointer in a specified stream can be obtained by using stream_position/2. It may be changed by using stream_position/3. Alternatively, seek/4 may be used.

Seeking is more general, and stream positioning is more portable. The differences between them are: