read_line_to

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(readutil): Read utilities
- Packages

Availability::- use_module(library(readutil)).(can be autoloaded)

[det]read_line_to_codes(+Stream, -Line:codes)

Read the next line of input from Stream. Unify content of the lines as a list of character codes with Line after the line has been read. A line is ended by a newline character or end-of-file. Unlike read_line_to_codes/3, this predicate removes a trailing newline character.

Examples

Backtrack over lines in a file

file_line(File, Line) :-
    setup_call_cleanup(open(File, read, In),
        stream_line(In, Line),
        close(In)).

stream_line(In, Line) :-
    repeat,
    (   read_line_to_string(In, Line0),
        Line0 \== end_of_file
    ->  Line0 = Line
    ;   !,
        fail
    ).

This will backtrack over consecutive lines in the input. If we use the Unix dictionary words:

?- file_line("/usr/share/dict/words", Word).
Word = "A" ;
Word = "a" ;
Word = "aa" ;
Word = "aal" ; % and so on

This doesn't load all lines to memory, so it can be used with very large files.

See also: - read_line_to_codes/2 to read to a code list instead of a string; - read_string/5 for more control over the separator and stripping