r/F/C:-read_line_to_codes(F,C). a/F:-r/F/C,C\=end_of_file,format("~s ",[C]),a/F. m:-open('/dev/fd/0',read,F),r/F/_,a/F.