Write_file(_)

/* это предложение требуется, чтобы предикат выполнился при достижении конца файла */

writeFile(F_N):– existfile(F_N),!, /* убедиться в существовании файла

с именем F_N */

openread(f,F_N), /* связать внешний файл F_N

с внутренним файлом f и открыть на чтение */

readdevice(f), /* устанавить в качестве устройства

чтения файл f */

write_file(f), /* вызвать предикат, выводящий на экран

все символы файла f */

closefile(f), /* закрыть файл */

readdevice(keyboard), /* переключить устройство ввода

на клавиатуру */

nl,nl, /* пропустить строку */

write("Нажмите любую клавишу"),

/* вывод сообщения на экран */

readchar(_)./* ждать нажатия любой клавиши */

writeFile(F_N):– write("Файл с именем ",F_N," не наден!").

/* вывести сообщение, если предикат existfile не выполнился */