parse_atom/2/3

MINERVA項としてのアトムの文字を解析して、変数に関する情報を読み出します。

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

parse_atom/3は、read/2のようにアトムAtomの文字を解析します。
parse_atom/3は、アトムAtomの文字を解析します。 それは、read_term/3のようにふるまいます。

Options-listの要素は以下の可能性があります：

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

引き数

Atom                   atom
Term                   term
Options                list of options

例題

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]

標準

これらの述語は、ISO-Prolog Standardの要件ではありません。

以下も参照して下さい