Byte input/output

• get_byte(Stream,Byte): Inputs a byte from Stream and unifies Byte with the byte. After reaching the end of file, it unifies Byte with -1.

• get_byte(Byte): The same as the previous one except that the current input stream is used.

• peek_byte(Stream,Byte): The current byte in Stream is Byte. The postion pointer of Stream remains the same after this operation.

• peek_byte(Byte): The same as
• peek_byte(Stream,Byte) except that the current input stream is used.

• put_byte(Stream,Byte): Outputs a byte Byte to the stream Stream.

• put_byte(Byte): Outputs a byte Byte to the current output stream.