Reading/writting list of terms

Author(s): The Ciao Development Team.

This module implements predicates to read/write list of terms (to streams and files).

Usage and interface

Library usage:
:- use_module(library(terms_io)).
Exports:
- Predicates:
  file_to_terms/2, file_to_terms/3, terms_to_file/2, term_write/1.

Usage:file_to_terms(File,Terms)

Unifies Terms with the list of all terms in File.

The following properties should hold at call time:
(stream_basic:sourcename/1)File is a source name.
(term_typing:var/1)Terms is a free variable.
The following properties should hold upon exit:
(basic_props:list/1)Terms is a list.

Usage:file_to_terms(File,Terms,Terms0)

Read all terms in File into the difference list Terms-Terms0.

The following properties should hold at call time:
(stream_basic:sourcename/1)File is a source name.

Usage:terms_to_file(File,Terms)

Writes the terms in list Terms (including the ending '.') onto file File.

The following properties should hold at call time:
(stream_basic:sourcename/1)File is a source name.
(basic_props:list/1)Terms is a list.

term_write(Term)

Output Term in a way that a read/1 will be able to read it back, even if operators change.

This module has the following direct dependencies: