filestatistics(F1) :- 
          see(F1),
          countchar(X),
          write(X),
          seen, !.
countchar(X) :-
  get0(C), countchar1(C, X).
countchar1(-1, 0).
countchar1(_, X) :- X is Y+1, countchar(Y).