Description
read_term( -term, +stream_options )
read_term(Term, Options) unifies Term with the Prolog term read from the current input stream. The reading of the term is controlled by the options from the list Options. The available values for Options can be checked in the next section.
Options
read_term accepts a list of options as its last argument. These options are:
- variables(Vars).Vars shall be a list of the variables existing in the read term, in left-to-right traversal order.
- variable_names(VariableNamesList). VariableNamesList shall be a list of A = V terms, where V is a variable of the read term and A is an atom specifying its name.
- singletons(VNSingletonList). VNSingletonList shall be a list of A = V terms, where V is a variable which occurs only once in the read term and A is an atom specifying its name.