Чтение онлайн

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

) после записи.

В последующих разделах мы увидим некоторые типичные примеры операций, в которых участвуют чтение и запись.

Кроме стандартного прологовского формата для списков существуют несколько других естественных форм их внешнего представления, которые в некоторых ситуациях являются более предпочтительными. Следующая процедура

выводит список L так, что каждый его элемент занимает отдельную строку:

Если у нас есть список списков, то одной из естественных форм его выводе является такая, при которой все элементы каждого списка записываются на отдельной строке. Для этого мы определим процедуру

. Вот пример ее использования:

Процедура, выполняющая эту работу, такова:

Список целых чисел иногда удобно представить в виде диаграммы. Следующая процедура

выводит список в такой форме (предполагается, что числа списка заключены между 0 и 80). Пример ее использования:

Процедуру

можно определить так:

Предположим, наша программа имеет дело с семьями, которые представлены в виде термов так, как это сделано в гл. 4 (рис. 4.1). Тогда, если, переменная F конкретизирована термом, изображенный на рис. 4.1, то цель

вызовет вывод этого терма в стандартной форме примерно так:

Рис. 6.2. Улучшенный формат вывода термов, представляющих семью.

Здесь содержится полная информация, однако форма представления легко может запутать, поскольку трудно проследить, какие ее части образуют самостоятельные семантические единицы. Поэтому обычно предпочитают выводить такую информацию в каком-либо формате, например так, как показано на рис. 6.2. Процедура

с помощью которой это достигается, приведена на рис. 6.3.

Рис. 6.3. Программа, обеспечивающая вывод в формате, представленном на рис. 6.2.

Типичная последовательность целей для обработки файла F от начала до конца будет выглядеть примерно так: