DOMAINS
file = f
PREDICATES
write_file(file)
writeFile(string)
CLAUSES
write_file(f):-
          not(eof(f)),!,
          readchar(C),
          write(C," "),
          write_file(f).
write_file(_).
writeFile(F_N):-
          existfile(F_N),!,
          openread(f,F_N),
          readdevice(f),
          write_file(f),
          closefile(f),
          readdevice(keyboard),
          nl,nl,
          write("нажмите на любую клавишу"), 
                       
          readchar(_).
writeFile(F_N):-
          write("файла с имянем ",F_N," не найдено!").                        
GOAL 
write("введите имя файла: "),
readln(F_N),
writeFile(F_N).