
get_char(?Char)

   Reads the next character from the current input and unifies it with a
single character string Char.



Arguments
   ?Char               Single character string or variable.

Type
   Character I/O

Description
   Takes a single-character string from the current input and unifies it
   with Char.




Resatisfiable
      No.

Fail Conditions
      Fails if Char does not unify with the next character from the buffered
   current input.



Exceptions
     5 --- Char is instantiated, but not to a string.

Examples
      Equivalent to get_char(input, Char).  (see get_char/2 for details).





See Also
   get_char / 2, put_char / 1, put_char / 2
