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),
	:

戻る 続く..