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. Структуры.
СТР-РА — набор объектов, логически связанных между собой в процессе решения задачи и объединенных под одним именем. Стр-ра в П. используется при создании сложной базы фактов и правил.
Если объекты стр-ры относятся к одному типу доменов. то стр-ра наз. однодоменной. Допускается исп-е доменов разного типа, в этом случае стр-ра наз. разнодоменной.
Исп-е стр-ры в программах позволяет упорядочить базу, разрешается обращение к стр-рам по имени.
Другие работы по теме:
Учетная политика
Под учетной политикой организации понимается принятая ею совокупность способов ведения бухгалтерского учета - первичного наблюдения, стоимостного измерения, текущей группировки и итогового обобщения фактов хозяйственной деятельности.
Роль денег денежные агрегаты
Text Text Graphics выступают предпосылкой создания высокоразвитого индустриального общества выступают предпосылкой создания высокоразвитого индустриального общества опосредствуют весь процесс воспроизводства оказывают значительное влияние на совокупную экономическую активность Graphics
Назначения и особенности конструкции гондол и пилонов самолета
Гондолы предохраняют двигатель и его агрегаты от коррозии, загрязнения и механических повреждений. Размещение двигателей в фюзеляже, на крыле, на горизонтальных пилонах по бокам хвостовой части фюзеляжа. Силовые схемы гондол. Прочность гондол, пилонов.
Газоперекачивающие агрегаты
Транспортировка газа Газ должен быть доставлен потребителям самым оптимальным и экономически эффективным путем с соблюдением все возрастающих требований по повышению надежности и безопасности поставок. Он транспортируется по магистральным газопроводам под высоким давлением (от 50 до 75 кг/см
Социологические концепции Дюркгейма
Введение Социологические концепции Дюркгейма Заключение Введение Социология возникает в конце 30 – х, начале 40 годов Х1Х в. В социальной сфере это было время крайней нестабильности. Восстание во Франции, Германии ( 1844 год ), чартистское движение в Англии, чуть позже революция 1848 года во Франции свидетельствовали о том, что нарастает кризис в общественных отношениях.
Судьба России в 30е годы
Автор: Сочинения на свободную тему Судьба России в 30-е годы В период 30 х годов, России жилось очень сложно, трудно. В 30е годы началась коллективизация, т.е. политика преобразований сельского хозяйства на основе раскулачивания и насаждения коллективных форм хозяйства. Это время стало самым сложным и драматичным периодом в судьбе русского крестьянства, оценить и осмыслить который до сих пор непросто не только писателям, но и историкам, социологам, философам.
Информационное сообщение и его анализ
Информационное сообщение представляет собой констатацию социально значимых фактов, информативное описания социально значимых сущностей и информативное повествования о социально значимом событии. Констатация социально значимых фактов занимает ведущую текстовую позицию, а информативное описание и информативное повествование – подчиненную, зависимую от сообщаемого факта.
FIAT
FIAT 126 до сих пор выпускается в Польше. 126 оснащена 2-цилиндровым мотором жидкосного охлаждения мощностью 24 л.с. и каталитическим нейтрализатором отработавших газов.
Начало журнал
Начало, нелегальное издание — революционное печатное издание, выходившее нелегально в России с марта по май 1878 г. Вышло 4 номера. Начало ставило своей задачей «заниматься преимущественно не теоретической разработкой принципиальных вопросов, а критикой явлений существующего общественного строя и освещения с точки зрения принципов социализма фактов текущей жизни».
Причины принятия христианства
Существуют несколько реальных фактов, остановивших выбор Руси на православной форме христианства. В первую очередь, важную роль сыграли прочные культурные и экономические связи с Византией, наличие на Руси собственной влиятельной православной общины. Византия в то время казалась центром цивилизации, наследницей великого Рима, самой развитой и культурной страной Европы.
Исторический факт
В исторической науке выделено два типа исторических фактов : собственно исторический факт и научно-исторический факт. Исторический факт - это действительное событие, имевшее место и обладающее всегда следующими характеристиками: локализованностью во времени и пространстве; объективностью; субъективностью и неисчерпаемостью.
Регулировочный участок цеха
Задачи теории массового обслуживания. Моделирование работы регулировочного участка цеха. Обобщенная схема моделирующего алгоритма. Краткая характеристика технологии реализации, особенности программирования. Описание функций программы и интерфейса.
Жанры журналистики
Строгое разделение по жанрам существует лишь в теории и, в определенной степени, в информационных материалах. Вообще жанрам свойственно взаимопроникновение, и на практике границы между ними часто размыты (особенно в так называемых “бульварных” изданиях).
Воздушные агрегаты листовых печатных машин
В современных листовых печатных машинах, особенно в многокрасочных машинах большого формата, на всем пути прохождения листов, начиная от самонаклада и до приемного устройства, организовано воздушное сопровождение листов.
ГИА история 2010 спецификация
Государственная (итоговая) аттестация 2010 года (в новой форме) по ИСТОРИИ обучающихся, освоивших основные общеобразовательные программы Спецификация
ГИА история России 2009 спецификация
Государственная (итоговая) аттестация выпускников IX классов общеобразовательных учреждений 2009 г. (в новой форме) по ИСТОРИИ РОССИИ СПЕЦИФИКАЦИЯ
Трудовое право 18
ФЕДЕРАЛЬНОЕ АГЕНСТВО ПО ОБРАЗОВАНИЮ Государственное общеобразовательное учреждение высшего профессионального образования Пермский государственный технический университет
Фактический состав
Министерство внутренних дел России Нижегородская академия Кафедра государственно-правовых дисциплин Научное сообщение на тему: «Фактический состав»
Геофизические методы исследования скважин 2
Национальный исследовательский университет нефти и газа им. И.М. Губкина филиал в г. Ташкенте По дисциплине Бурение скважин На тему: Геофизические методы исследования скважин
Горные породы
1. Определение минерала. Минерал- природное тело однородное по своему составу, химическому и физическому свойству. 2. Пример полиминерала Гранит= кварц + слюда + ортклаз
Виды межпредметных связей в обучении биологии
Совокупность функций м/п связей реализуется в проц.обуч-я при осущ-и многообразия их видов. Различают 2 гр. м/п связей: 1) внутрицикловые ( физ., хим., биол., географ.) 2) межцикловые ( связь с гумм.предметами – ист., лит-ра, физ-ра). Виды м/п связей дел-ся на гр., исходя из осн. комп-ов обучения: содержание, методы, формы орг.уч.процесса. 1. содержательно- информативный 2.
Технологический процесс СТО
3 Организационная часть 3.1 Схема организаций технологического прочеса СТО Технологический процесс текущего ремонта агрегатов и узлов автомобилей осуществляется в следующем порядке. После наружной очистки согласно технологическим картам агрегаты и узлы разбирают на отдельные детали, которые поступают далее в зону мойки.
Решение задач
Контрольное задание №2 На основании данных таблицы рассчитайте денежные агрегаты М0, М1, М2, денежную базу “узкую” и ”широкую” на начало и конец года. Определить коэффициент банковского мультипликатора. Сделать вывод.
Вертолет 2
ЕРТОЛЕТ, летательный аппарат тяжелее воздуха с вертикальным взлетом и посадкой. Подъемная и пропульсивная силы создаются несущими винтами. Различают вертолеты одновинтовые с рулевым (хвостовым) винтом; двух- или многовинтовые. Скорость полета вертолета до 350 км/ч, грузоподъемность до 40 т (1984).