All pastes #491354 Raw Edit

Mine

public text v1 · immutable
·published 2007-05-16 16:43 UTC
rendered paste body
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).