seeing(F)

F  is  unified  with the atom corresponding to the file name of the current
input stream.
