| MINERVA2.0では解決されています。リリースノートを参照して下さい。
get_byte/1/2, put_byte/1/2, peek_byte/1/2は使用できません。
回避方法として、asciiストリームとして、ストリームを開いてください。
そして、put_char/1/1, put_byte/1/2, peek_byte/1/2を使って、
文字をコードに変換して下さい。
例:
my_put_byte(Stream,Code) :-
char_code(Char,Code), put_char(Stream,Char).
use_binary_stream :-
:
open(BinaryFile,write,FakedBinaryStream,[encoding(ascii)]),
:
my_put_byte(FakedBinaryStream,99),
:
flush_output(FakedBinaryStream),
close(FakedBinaryStream),
:
|