Назад | Содержание| Вперёд Глава 6 ВВОД И ВЫВОД...

Глава 6

ВВОД И ВЫВОД

В этой главе мы рассмотрим некоторыевстроенные средства для записи данных в файл исчитывания их из файла. Такие средства можнотакже применять и для форматирования объектовданных программы, чтобы получить желаемую формуих внешнего представления. Одновременно мырассмотрим и средства синтеза и декомпозицииатомов.

6. 1.    Связь с файлами

До сих пор мы применяли только один метод связипользователя с программой - пользователь задаетпрограмме вопросы, а программа ему отвечает,конкретизируя переменные. Такой механизм связипрост и практичен и, несмотря на свою простоту,обеспечивает ввод и вывод информации. Однако онобладает слишком малой гибкостью и поэтому частоне совсем удобен. В следующих случаях требуетсярасширение этого основного механизма связи:

ввод данных в форме, отличной от вопроса - например, в виде предложений, написанных на английском языке

вывод информации в произвольном формате

обмен информацией с произвольным файлом, а не только с пользовательским терминалом

Встроенные предикаты, предназначенные дляэтого расширения, отличаются в разныхреализациях Пролога. Мы изучим здесь простой иудобный набор таких

Рис. 6. 1.  Связь между пролог-программой и различнымифайлами.

предикатов, применяемый во многих реализациях.Однако за деталями и специфическимиособенностями следует, конечно, обращаться круководствам по конкретным пролог-системам.

Рассмотрим вначале вопрос о том, какобмениваться информацией с файлами, а затем - какможно вводить и выводить данные в разныхформатах.

На рис. 6.1 показана общая ситуация, в которойпролог-программа взаимодействует с несколькими файлами. Она может, в принципе, считыватьданные из нескольких входных файлов,называемых также входными потоками,и выводить данные в несколько выходных файлов,называемых выходными потоками.Информация, поступающая с пользовательскоготерминала, рассматривается просто как еще одинвходной поток. Аналогично информация, выводимаяна этот терминал, рассматривается как один извыходных потоков. На оба этих"псевдофайла" ссылаются с помощью имени user (пользователь). Имена остальныхфайлов программист должен выбирать всоответствии с правилами именования файлов,принятыми в используемой компьютерной системе.

В каждый момент выполнения пролог-программылишь два файла являются "активными": одиндля ввода, другой - для вывода. Эти два файланазываются текущим входным потоком и текущимвыходным потоком соответственно. В начальныймомент эти два потока соответствуют терминалу.Текущий входной поток может быть заменен надругой файл ИмяФайла посредством цели

        see(ИмяФайла)                                   ( Смотри(ИмяФайла) )

Такая цель всегда успешна (если только с файлом ИмяФайлавсе в порядке), а в качестве побочного эффектапроисходит переключение ввода с предыдущеговходного потока на файл ИмяФайла.Поэтому типичным примером использованияпредиката see является следующаяпоследовательность целей, которая считываетинформацию из файла файл1, а затемпереключается обратно на терминал:

        . . .