peek_char/[1,2]
peek_char(
-Char)
peek_char(
+Stream, -Char)
looks ahead for next input character on the current input stream or on the input stream Stream.
peek_char/[1,2]
looks ahead of the next input character of the
specified input stream and unifies the character with Char.
The peeked character is still available for subsequent input on the
stream.
<<NEEDS EXAMPLE>>
Stream errors (see ref-iou-sfh-est), plus:
existence_error
It is safe to call peek_char/[1,2]
several
times without actually inputting any character. For example:
| ?- peek_char(X), peek_char(X), get0(X). |: a X = 97
get0/[1,2]
,
get/[1,2]
,
open/[3,4]
ref-iou