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