get_tokens(File,L):- 
       see(File), 
       tokens(L), 
       seen(File). 

  tokens(R) :- 
       ratom(A),!, 
       (A = end_of_file -> 
       R=[] | R= [A|R1], tokens(R1)).