ストリームから項を読む。

read (-項)
read (+ストリーム, -項)

read/1 は、現在入力ストリームから単項(項 )を読む。
read/2は、与えられたストリーム(ストリーム)から単項(項 )を読む。
もし、ストリームが最後までくると、項 は、アトム end_of_fileで単一化される。

引数

ストリーム           テキスト入力ストリーム
項                   項

例

?- open('test.data', write, Stream),
   print(Stream, [hello(world), '.']),
   close(Stream).

?- open('test.data', read, Stream),
   read(Stream, Term1),
   read(Stream, Term2).

Term1  = hello(world)
Term2  = end_of_file

標準

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

関連

冒頭へ