Агрегаты фактов

1. Списки.

Если в пр-ме необходимо организовать с переменными или заранее неопределенным количеством объектов, то испол. списки.

СПИСОК — упорядоченная последовательность эл-в одного типа неопределенной длины, кот м. состоять из 0 и более эл-в.

Константы ,попавшие в список , записываются в [ ] и отделяются друг от друга запятыми.

Исходя из определения списка, два списка , сост. из одних и тех же

эл-в , но расположенных в разном порядке считаются разными. В разделе domains эл-ты списка обяз-но д.б. сопоставлены с определенным типом домена (Sp=integer*).

Список в domains м.б. опосредствован через имя переменной, эл-ты кот. собираются в список.

domains

k_fms = string, kol = integer,

Sp = kol*

predicates

fms ( k_fms, kd, ...)

Списки состоят из заголовка ( начала списка) и захвата (окончания списка). К заголовку относится только 1-й эл-т списка, остальное — хвост.

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

Для работы со списками в языке имеется ряд встроенных предикатов.

MEMO (<имя эл-та>, <список>) — где <список> м.б. задан либо именем Sp, либо непосредственно константами, входящими в этот список.

Предикат определяет принадлежность эл-та к списку.

I — деление списка на голову и хвост [ Head I Tail] или [H I T]

H — или переменной для обозначения заголовка

T — — “ — хвоста

ПРИМЕР

domains

list=char*

predicates

test (List)

clouses

test ( [‘A’, ‘B’ , ‘C’, ‘D’] ).

goal

test ([H/T]),

nl,

write (H)

APPEND ( [ эл-ты старого списка ],[ эл-ты нового списка ],< имя нового списка > )

— из 2-х списков, старого и нового, создают III список.

REVERS ( [ эл-ты стар. списка], < имя нового списка > )

— меняет последовательность эл-в на противоположную

FINDALL (< имя переменной >,< формат предиката >,< имя списка >)

ПРИМЕР

domains

post = string

Kol, Cena, Sum = integer

Sp = integer* ( Sp = Kol*)

Kod = string

predicates

tmc ( P, Kol, Cena)

sum ( Sp, Sum)

goal

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

readln ( Kod),

nl,

findall ( Kol, tmc ( Pos1, Kod, Kol, Cena), Sp),

sum (Sp, Sum),

write ( “Количество =” , Sum)

clauses

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

.

.

.

sum ( [ ], 0).

sum ( [ H/T ], Sum) if

sum ( T, Sum1).

Sum = H + Sum1.

В языке имеется возможность работы с динамической базой фактов, в которой м. объединяться как однородные, так и разнородные предикаты-факторы.

База фактов — нечто среднее м-у реляционной СУБД и массивом. В момент активизации все факты базы переносятся в ОЗУ с внешнего зап. устройства. Для работы с БД создается новый раздел программы, в кот. определяются прототипы предикатов-фактов, объедененных в базу.

Database

прототипы в этом разделе описываются по тем же правилам, что и в predicates.

Раздел database записывается перед разделом predicates и предикаты, кот. в нем описываются не могут описываться в разделе predicates, а ис-ся в разделах clouses и goal. Активизация базы происходит в области ОЗУ, кот. по умолчанию имеет тип домена dbasedom. Этот тип программист не указывает явно в программе в разделе domains, но м. его использовать в качестве аргументов встроенных предикатов языка, что позволяет сократить текст программы при работе с базой.

domains

dbasedom = tms(Post, Kod, Kol, Cena)

.

.

.

database

.

.

tmc (Post, Kod, Kol, Cena)

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

asserta

( < факт >) ( dbasedom) : (i)

assertz

— используется для добавления нового факта в базу. Факт д.б. обязательно определен и относится к области dbasedom. При использовании предиката asserta факт добавляется перед остальными фактами имеющегося предиката.

assertz — добавление после — “ —

retraсt(< факт>)( dbasedom) : (i) — удаление из БД первого факта, кот. сопоставляется с указанным в retraсt фактом. Возможно удаление группы. При этом в факте указывается общее для удаления фактов значение, а на месте всех остальных переменных записываются те переменные, кот. нет в этом предикате.

SAVE(< имя файла >) — сокращает все факты дин. базы из ОЗУ на магн. диск под именем

string : (i) заданным в предикате save/

CONSULT(< имя файла >) — добавляет в опер. дин. базу все факты из файла на диске с

string : (i) указанным именем.

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. Создани

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать