readfile(File):-
open(File, read, Stream),
sr(Stream,S),
S==end_of_file,
close(Stream).

sr(Stream,S):-
repeat,
read_in(Stream, [_,_,_|S]),
write(S).