TRPP_uberdohuya

Работа с файлами

Текущим входным потоком данных по умолчанию является клавиатура (user). Предикат see(X) открывает файл X, если он еще не открыт, и файл X становится текущим входным потоком данных. Цель seeing(X) успешна, если имя текущего входного потока сопоставимо с X. Предикат seen закрывает текущий входной поток и переключается на интерактивный ввод данных от пользователя.

Текущим выходным потоком данных по умолчанию является экран (user). Предикат tell(X) открывает файл X, если он еще не открыт, и файл X становится текущим выходным потоком данных Цель telling(X) успешна, если имя текущего выходного потока сопоставимо с X. Предикат told закрывает текущий выходной поток и переключается на интерактивный вывод данных пользователю.

Выше перечислены классические предикаты, используемый в Эдинбургской нотации.

Следует отметить, что SWI-Пролог содержит избыточное множество встроенных предикатов для работы с файловой системой (часть которых представлена ниже), и даже поддерживает ряд команд, заимствованных из ОС Unix (например, вызов ls. - выдаст список всех файлов в текущей рабочей директории, а команда cd('../'). - сменит текущий рабочий каталог на его родительскую директорию).

В диалекте SWI-Пролога в частности заслуживают внимания следующие предикаты (их подробное описание можно найти в программной справке):

edit/1 - редактирование файла
open/3 - открытие файла (создание потока)
append/1 - добавление данных в конец файла
include/1 - подключить файл с объявлениями
load_files/2 - загрузка исходных кодов программ с опциями
read_file_to_terms/3 - чтение содержимого файла в виде термов
exists_file/1 - проверить существование файла (по заданному пути)
delete_directory/1 - удаление заданной директории
delete_file/1 - удаление заданного файла
absolute_file_name/2 - получить абсолютный путь к файлу
file_base_name/2 - получить имя файла из полного пути
file_directory_name/2 - получить путь к файлу (вплоть до последней директории)

Содержание