Організація роботи з файлами в системі "ТУРБО-ПРОЛОГ"

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

predicates

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

predicates

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

predicaes

put

mod

clouses

put if ( "Введіть ознака продовження "),

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.Актуалізація кожного модуля проводиться шляхом виклику відповідного правила, кот. д.б.н. відомо в усіх зв'язують модулях у роздiлi global predicates.

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

3.1.Іспользованіе предиката include "ім'я програмного файлу ".

include -- використовується в тому випадку, коли до поточній програмі на рівні програмного модуля.

Ланцюжок модулів м.б. як завгодно довгою, але не д.б.н. циклів.

"ім'я прогр. файлу "м. містити маршрут знайти файл на диску.

4.project "ім'я файлу-проекту"

Ця дірректіва д.б.н. записана 1-й в тих модулях, кот. необхідно об'єднати в 1-й завантажувальний модуль з ім'ям файлу-проекту. За аналогам з розробками Borland, всі модулі, об'їду. в проект, компілюється окремо, а зв'язок відбувається на рівні об'єктних модулів.

Список літератури

Для підготовки даної роботи були використані матеріали з сайту http://www.parny.by.ru/