read_term/3

Description

read_term/3 is a predicate that reads a term from a stream or alias.

The signature is as follows:

read_term(+Stream, -Term, +Options)

where:

• Stream represents the stream or alias to read the term from.
• Term represents the term to read.
• Options represents the options to control the reading process.

Valid options are:

• singletons(Vars): Vars is unified with a list of variables that occur only once in the term.
• variables(Vars): Vars is unified with a list of variables that occur in the term.
• variable_names(Vars): Vars is unified with a list of Name = Var terms, where Name is an atom and Var is a variable.