Приемы работы с динамической базой фактов

2. Приемы работы с динамической базой фактов.

1.Перезапись фактов из раздела clouses в базу на МД.

domains

Post, Kod = string

Kol, Cena = integer

database

tmc ( Post, Kod, Kol, Cena)

predicates

perezap

dauses

tmc (“001”, “001”, 45,80).

…

perzap if

save (“data”)

gocel

perezap.

2. Создание базы в процессе диалога

domains

Post, Kod = string

Kol, Cena = integer

Pc = integer &&признак окончания ввода

database

tmc ( Post, Kod, Kol, Cena) &&база создается первоначально

predicates

vvod

clouses

vvod if

write (“Введите код поставщика”),

nl,

readln (post),

nl,

write (“Введите код ТМЦ”),

nl,

readln (Kod),

nl, write (“Введите кол-во ТМЦ”),

nl,

readint (Kol),

write (“Введите цену”),

nl,

readint (Cena),

assertz (tmc ( Post, Kod, Kol, Cena)),

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

pr=0,

vvod.

goal

vvod,

save (“data”)

3.Дополнение базы новыми фактами

…

goal

consult(“data”),

vvod,

save(“data’).

4.Активизация фактов из файла на диск

domaines

Post, Kod = string

Kol, Cena = integer

Sum, Sum1 = integer

Sp = kol*

database

tmc (Post, Kod, Kol, Cena)

predicates

sum( Sp, Sum)

clouses

sum ( [ ], 0).

sum ( [ H/t ], Sum) if

sum(T,Sum1),

Sum= H + Sum1.

goal

consult (“data”),

write (“Введите код ТМЦ”),

nl,

readln (Kod),

sum(Sp, Sum),

write (Sum).

5.Удаление конкретных фактов из БД

domains

Post, Kod = string

Kol, Cena = integer

database

tmc (Post, Kod, Kol, Cena)

predicates

udal

clouses

udal if

write (“Укажите код поставщика”),

nl,

readln (Post),

write (“Укажите код ТМЦ”),

nl,

readln (Kod),

retract (tmc (Post, Kod, Kol, Cena)),

goal

consult (data),

udal,

save(“data’).

6.Удаление группы факторов

dauses

udal if

write (“Введите код поставщика”),

nl,

readln (post),

retract(tmc (Post, Kod, Kol, Cena)),

…

С помощью retract производится удаление дин. базы фактов из ОЗУ.

Корректировка содержимого факта.

Операции проихзводятся в 2-а этапа:

1-- с помощью retract осущ. удаление устаревшего факта из базы

2-- assertz — добавление нового факта в базу.

3. Структуры.

СТР-РА — набор объектов, логически связанных между собой в процессе решения задачи и объединенных под одним именем. Стр-ра в П. используется при создании сложной базы фактов и правил.

Если объекты стр-ры относятся к одному типу доменов. то стр-ра наз. однодоменной. Допускается исп-е доменов разного типа, в этом случае стр-ра наз. разнодоменной.

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

ТЕМА: Организация работы с файлами в системе “ ТУРБО-ПРОЛОГ”.

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

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

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

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)