Parses the characters of an atom as MINERVA term and retrieves information about variables.

parse_atom(+Atom, -Term)
parse_atom(+Atom, -Term, +Options)

parse_atom/3 parses the characters of the atom Atom like read/2.
parse_atom/3 parses the characters of the atom Atom. It behaves like read_term/3.

Elements of the Options-list can be:

variables(-Vars)
variable_names(-VarList)
singletons(-VarList)

Arguments

Atom                   atom
Term                   term
Options                list of options

Examples

parse_atom('member(X, [X|L])', Term, [variable_names(VarNames),singletons(Singletons)]).

->

Term        = member(_1, [_1|_2])
VarNames    = ['X' = _1, 'L' = _2]
Singletons  = ['L' = _2]

Standard

These predicates are not part of the ISO-Prolog Standard.

See also

scroll to top