[ Reference Manual | Alphabetic Index ]

# Term I/O

Built-ins for input/output of complex terms

## Predicates

> display(?Term)
>   Term is displayed on the current output --- without considering operator definitions.
> display(+Stream, ?Term)
>   Term is displayed on the output stream Stream --- without considering operator definitions.
> expand_macros(?Term, -TransTerm)
>   Apply macro transformations to Term
> portray_term(?Term, -TransTerm, +As)
>   Apply portray (write) transformations to Term
> print(?Term)
>   The term Term is written on the output stream according to the current operator declarations, using the predicate portray/2 or portray/1 if it exists.
> print(+Stream, ?Term)
>   The term Term is written on the output stream Stream according to the current operator declarations, using the predicate portray/2 or portray/1 if it exists.
> printf(+Format, ?ArgList)
>   The arguments in the argument list ArgList are interpreted according to the Format string and the result is printed to the output stream
> printf(+Stream, +Format, ?ArgList)
>   The arguments in the argument list ArgList are interpreted according to the Format string and the result is printed on the output Stream
> read(-Term)
>   Succeeds if the next term from the input stream is successfully read and unified with Term.
> read(+Stream, -Term)
>   Succeeds if the next term from the input stream Stream is successfully read and unified with Term.
> read_annotated(+Stream, -AnnTerm)
>   Read term with type and source position information
> read_annotated(+Stream, -Term, -AnnTerm)
>   Read term with type and source position information
> read_exdr(+Stream, -Term)
>   A term in EXDR-format is read from the input stream Stream and converted to the corresponding ECLiPSe term Term.
> read_term(-Term, +Options)
>   Read a whole term in ECLiPSe syntax from the current input stream, according to Options
> read_term(+Stream, -Term, ++Options)
>   Read a whole term in ECLiPSe syntax from the input stream Stream, according to Options
> sprintf(-String, +Format, ?ArgList)
>   The arguments in the argument list ArgList are interpreted according to the Format string and the formatted result is unified with String.
> write(?Term)
>   The term Term is written on output stream according to the current operator declarations.
> write(+Stream, ?Term)
>   The term Term is written on the output stream Stream according to the current operator declarations.
> write_canonical(?Term)
>   The term Term is written on the stream output in a form that ignores operator declarations and can be read in.
> write_canonical(+Stream, ?Term)
>   The term Term is written on the output stream Stream in a form that ignores operator declarations and can be read in.
> write_exdr(+Stream, ?Term)
>   The term Term is written onto the output stream Stream in EXDR-format (a format for communication with agents in other programming languages).
> write_term(?Term, ++Options)
>   The term Term is written to the current output in a format specified by Options
> write_term(+Stream, ?Term, ++Options)
>   The term Term is written to the output stream Stream in a format specified by Options
> writeclause(?Clause)
>   The clause Clause is pretty printed on the current output .
> writeclause(+Stream, ?Clause)
>   The clause Clause is pretty printed on the output stream Stream .
> writeln(?Term)
>   The term Term is written on the current output according to the current operator declarations. Equivalent to write(Term),nl.
> writeln(+Stream, ?Term)
>   The term Term is written on the output stream Stream according to the current operator declarations. Equivalent to write(Stream,Term), nl(Stream).
> writeq(?Term)
>   The term Term is written on the current output in a form that can be read in.
> writeq(+Stream, ?Term)
>   The term Term is written on the output stream Stream in a form that can be read in.

Generated from ioterm.eci on 2020-02-26 22:26