Lines Matching refs:S1
318 open(F1,read,S1), open(F2,read,S2),
319 ( similar_streams(S1, S2) ->
320 close(S1), close(S2)
322 close(S1), close(S2),
326 similar_streams(S1, S2) :-
327 at_eof(S1), at_eof(S2), !.
328 similar_streams(S1, S2) :-
329 get_stream_info(S1, line, LineNr),
330 ( read_string(S1, end_of_line, _, Line1) -> true ; Line1 = "" ),
335 similar_streams(S1, S2)