get_char(Char) read the current input stream and unifies Char with the next read character. On end-of-file, Char is bound to the atom end_of_file.