ПРИМЕР
…
goal
like (P,T)
T= “кефир”,
nl,
write ( “любитель кефира найден”)
!.
fail
Отсечение используется для устранения бесконечных циклов (см. пред. пример):
clauses
posl (0,1) if !
posl(N,V) if
M=N-1
posl (M,U)
V=U*N
Отсечение также используется для устр. взаимоисключающих утверждений.
ПРИМЕР
ball (M,’A”) if M> so,!
ball(M, “B”) if M< so an M>60,!.
ТЕМА: АГРЕГАТЫ ФАКТОВ
1.Списки
2.Динамическая база фактов
3.Структуры
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. Создание базы в процессе диалога
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), то знаки из пер.памяти зап-ся в файл. Чтение и запись прекращается , если встретиться признак конца файла. Этот предикат работает без определения символьного имени файла.