1. Определение файлов.

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

1.Входной с экрана дисплея keyboard

2.Выходная форма на экран screen

3.Вых. ф-ма на устройство печати printer

4. — “ — на порт com1

По умолчанию наз-ся файлы (1) и (2). Для переопределения стандартных файлов и файлов пользователя исп-ся станд. предикаты

readdevice

               (< символьное имя файла>)

                           (file):(i)

writedevice

ПРИМЕР

readdevice (printer),

write (“Работа завершена”),

readdevice (screen),

...

Файлы пользователя в П. м. представлять собой как Д. так и факты в виде предикатов, при этом 1-я запись файла д. соответствовать 1-му предикату-факту.

2. Порядок работы с файлами пользователя в программах следующие:

1.Определение символьного имени файла

2.Открытие соответствующего вида доступа

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

4.Закрытие файла после обработки с возможным переопределением устройств ввода-вывода

Для определения символьного имени в П. используется стандартный домен file, определенный в разделе domaines.

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

OPENWRITE( < сим. имя файла>, < имя файла в ОС>)

               ( file, string):( i,i)

— открывает файл с указаным именем для операции записи. Если этот файл реально существует под указаным именем в среде ОС, то он уничтожается.

OPENREAD( < сим. имя файла >,< имя файла в ОС >)

               ( file, string):( i,i)

— открывает файл с указаным именем для чтения

OPENAPPEND ()( file, string):( i,i)

— открывает файл для дозаписи. Если при использовании предиката OPENREAD и OPENAPPEND файл не найден, то это интерпр. как ошибка. Если при использовании предикатов OPENWRITE и OPENMOCLIFY файл не найден, то происходит создание нового файла. Для проверки наличия файла в П. имеется след. стан. предикат:

EXISTEFILE()

( string):( i)

Если файл с указанным именем не сущ., то предикат принимает значение .t., если нет- ложь. Переопределение устройств для работы с файлами пользователя производится с помощью readdevice и writedevice

FILE_STR (< имя файла в ОС>,< строка>)

(string , string) : (i,0) ( i,i)

— читает знаки до 64кб из файла в перем. памяти, если задано (i,0). Если задано ( i,i), то знаки из пер.памяти зап-ся в файл. Чтение и запись прекращается , если встретиться признак конца файла. Этот предикат работает без определения символьного имени файла.

READTERM (,< терм>)

    (< имя области>,< терм>) : (i,0)

После открытия файла этот предикат читает факты из него. Первый аргумент предиката д.б. описан в разделе domains программы

EOF (< символьное имя файла>)

(file) : (i)

Предикат имеет значение “ Истина”, если указатель файлов позиции установлен на конце файла

FILEPOS (< сим. имя файла>,< позиция>,< режим>)

   (file,real, integer) : (i,i,i) (i,0,i)

RENAME (< имя файла1 в ОС>,< имя файла2 в ОС>) — переим. файла

    (string,string) : (i,i)

DELETE (< имя файла в ОС>) — удаление файла

   (string) : (i)

DISK (< маршрут>)

   (string) : (i) (0) — устанавливает ,если (1) или возвращает, если задана (0) дисковод или тех. каталог, подкаталог...

CLOSEFILE (< сим. имя файла>)

    (file) : (i)

3. Стандартные предикаты обработки файлов и техника их использования.

Техника работы с файлами в программах

1.Создание файла

domains

   file = ff

   P2 = integer

   Pole, Pole1 = string

divdicates

   vvod

   put

clouses

   put if

   write (“Введите признак продолжения”),

   readint (Pr),

   Pr=0

   vvod

   vvod if

   write (“Введите строку”),

   readln (Pole), nl,

   write (Pole),

   concat (Pole, “ n”, Pole1),

   openappend (ff, “text”)

   writedevice (ff),

   write (pole1),

   closefile (ff),

   writedevice (screen),

   write ( “Строка”, Pole1, “на диск записана”)

В поле м.б. введенозначение предиката-факта, с кот. в дальнейшем м. работать как ср-вами обработки файла, так и ср-вами динам. фаз фактов. Предположим,что в этом примере пользователь ввел значение предиката-факта tmc

tmc ( Post, Kod, Kol, Cena)

2.Обработка фактов из файла

domains

   file = ff

   data= tmc ( Post, Kod, Kol, Cena)

   Post,Kod=string

   Kol, Cena=integer

divdicates

   put

   spr

clouses

put if

   not (eof (ff)),

   spr.

put if

   eof(ff),nl,

   write (“Работа закончена”),

   closefile (ff)

spr if

   readterm (data, tmc (Post, Kod, Kol, Cena), nl,

   write (post), nl,

   put.

goal

   openread (ff, “text”),

   readdevice (ff),

   spr.

3.Модификация данных файла

domains

   file=ff

   Pr= integer

   Pole, Pole1 = string

   K = real

divdicaes

   put

   mod

clouses

   put if

               write ( “Введите признак продолжения”),

               readint (P2),

               p2 = 0,

               mod.

   mod if

               write (“Введите номер записи”), nl,

               readreal (K), nl,

               K1=K*12,

               openmodify (ff, “text”),

               readdevice (ff),

48

               filepos (ff,K1,0)

               readln (Pole),

               write ( “Старое значение”, pole), nl,

               writedevice (ff),

   filepos (ff,K1,0),

               write (Pole1,”n”),

               closefile (ff),

               writedevice (screen),

               write ( “Новое значение”, Pole1), nl,

               readdevice (keybord),

               put

goal

   mod

Средства модульного прг-я в ТП

ТП, являясь прообразом языка парал. вычислений, поддерживает стиль модульного проектирования.

Средства ТП для поддержки мод. прог-я следующие:

   1.Междумольная информационная связь в П. реализуется кака и в других языках прог-я, через общие переменные. Для этого в связываемых модулях после раздела domains, где описываются те приемы, кот. описываются в разных модулях.

   2.Актуализация каждого модуля производится путем вызова соответствующего правила, кот. д.б. известно во всех связывающих модулях в разделе global divdicates.

   3.Ср-ва обр-ки модульных программ.

   3.1.Использование предиката include “ имя программного файла”.

include — используется в том случае, когда к текущей программе на уровне исходного модуля.

Цепочка модулей м.б. сколь угодно длинной, но не д.б. циклов.

“ имя прогр. файла “ м. содержать маршрут поиска файла на диске.

   4.project “имя файла-проекта”

Эта дирректива д.б. записана 1-й в тех модулях, кот. необходимо объединить в 1-й загрузочный модуль с именем файла-проекта. По аналогам с разработками Borland, все модули, объед. в проект, компилируется отдельно, а связь происходит на уровне объектных модулей.