Skipping

There are two ways of skipping over characters in the current input stream: skip to a given character, or skip to the end of a line (or record).

• To skip over characters from the current input or specified stream through the first occurrence of the character with ASCII code N, (see mpg-ref-skip) Cf. ttyskip/1.
• Generally it is more useful to skip to the end of a line using skip_line/[0,1]. Use of this predicate helps portability of code since it avoids dependence on any particular character code(s) being returned at the end of a line.