Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- readText(Stream, [Head|Rest]):-
- read_line_to_codes(Stream, Codes),
- dif(Codes, end_of_file), !,
- atom_codes(Head, Codes),
- readText(Stream, Rest).
- readText(Stream, []):- read_line_to_codes(Stream, end_of_file), !.
Add Comment
Please, Sign In to add comment