ストリームから項を読み、変数情報を検索する。

read_term (-項, +オプション)
read_term (+ストリーム, -項, +オプション)

read_term/2 は、単項(項を現在入力ストリームから読む。
read_term/3 は、与えられたストリーム(ストリーム)から単項(項)を読む。
もし、ストリームが終りになると、項 は、アトム end_of_fileで単一化される。

オプションリストの要素は、以下の通りである。

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

引数

ストリーム           テキスト入力ストリーム
項                   項
オプション           オプションのリスト

例

?- open('test.data', write, Stream),
   write(Stream, 'member(X, [X|L]).\n'),
   close(Stream).

?- open('test.data', read, Stream),
   read_term(Stream, Term, [variable_names(VarNames),singletons(Singletons)]).

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

標準

これらの述語は、ISO-Prolog 標準に含まれる。

関連

冒頭へ