read_data(F):- seeing(I), see(F), repeat, read(Term), process(Term), seen.

process(Term) :- Term == end_of_file, !.
process(Clause) :- assert(Clause), fail.