peekCharAndReply
fun Solve.Request<ExecutionContext>.peekCharAndReply(channel: InputChannel<String>, arg: Term): Solve.Response
Peeks the next character from channel (end_of_file atom at end of stream) and unifies arg with it, or fails on a closed channel.