項ストリーム

項ストリームは、バイナリファイルからの読み出しあるいはバイナリファイルへの 読み込みのために使われ、MINERVAのユーザデータは、コンパクトに保存し、 迅速に入力・出力することができます。

バイナリ項ストリームは、type(term)のオプションをつけたopen/4で開かれます。 バイナリー項ストリームに書き込んだ後、close/1を呼び出して、これを明示的に閉じねばなりません。

述語

• write_binary_term(+TermStream, +Term)
  TermStreamに項を書く
• read_binary_term(+TermStream, -Term) TermStreamから項を読む
  ファイルの最後で、end_of_fileを返す。

例

        open('mydata.data',write,TermStream,[type(term)]),
        write_binary_term(TermStream, Term1),
                :
        write_binary_term(TermStream, TermN),
        close(TermStream),

        open('mydata.data',read,TermStream,[type(term)]),
	repeat,
        	read_binary_term(TermStream, Term),
	        ( Term = end_of_file ->
                        true
                ;       doSomeThingWith(Term),
                        fail
                ), !,
        close(TermStream),

read_binary_term/2

バイナリ項ストリーム"TermStream"から、項"Term"を読む...

write_binary_term/2

バイナリ項ストリームTermStreamに、項Termを書き出す。...