Term input

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 1.5#100 (2000/3/30, 18:1:28 CEST)

Usage and interface (`read`)

Library usage: :- use_module(library(read)).
Exports:
- Predicates: read/1, read/2, read_term/2, read_term/3, read_top_level/3, second_prompt/2.
Other modules used:
- System library modules: tokenize, operators, lists, assertions/doc_props.

PREDICATE: read/1:

read(Term)

Like read(Stream,Term) with Stream associated to the current standard input.

PREDICATE: read/2:

Usage: read(+Stream,?(Term))

Description: The next term, delimited by a full-stop (i.e., a . followed by either a space or a control character), is read from Stream and is unified with Term. The syntax of the term must agree with current operator declarations. If the end of Stream has been reached, Term is unified with the term end_of_file. Further calls to read/2 for the same stream will then cause an error, unless the stream is connected to the terminal (in which case a prompt is opened on the terminal).
The following properties should hold globally: Documentation is still incomplete: read(+Stream,?(Term)) may not conform the functionality documented. (doc_props:doc_incomplete/1)

PREDICATE: read_term/2:: No further documentation available for this predicate.

PREDICATE: read_term/3:: No further documentation available for this predicate.

PREDICATE: read_top_level/3:: No further documentation available for this predicate.

PREDICATE: second_prompt/2:: No further documentation available for this predicate.