Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
История развития хранилищ для нефти: Первые склады нефти появились в XVII веке. Они представляли собой землянные ямы-амбара глубиной 4…5 м...
Топ:
Оценка эффективности инструментов коммуникационной политики: Внешние коммуникации - обмен информацией между организацией и её внешней средой...
Устройство и оснащение процедурного кабинета: Решающая роль в обеспечении правильного лечения пациентов отводится процедурной медсестре...
Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов...
Интересное:
Как мы говорим и как мы слушаем: общение можно сравнить с огромным зонтиком, под которым скрыто все...
Лечение прогрессирующих форм рака: Одним из наиболее важных достижений экспериментальной химиотерапии опухолей, начатой в 60-х и реализованной в 70-х годах, является...
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Дисциплины:
2021-01-31 | 51 |
5.00
из
|
Заказать работу |
|
|
|
Парадигма логического программирования использует идею автоматиче- ского вывода информации на основе заданных фактов и правил. Логическое программирование основано на теории и аппарате формальной логики. Напи- санная согласно формальной логике программа является множеством логи- ческих форм, представляющих факты и правила относительно некоторой предметной области. Основным языком логического программирования при- знан Prolog, хотя известны и другие – Planner, ASP и Datalog. Во всех таких языках правила имеют форму клауз:
H :- B11, …, BNn,
понимаемую как логическое следование
if (B11 and … and BN) then H
или
B11 & … & BN → H
H называют головой правила, а B11, …, BN – телом.
|
|
to solve H, solve B1, and... and solve Bn.
Декларативный подход к пониманию программ требует от программиста систематической проверки корректности. Более того, используются преобра- зования логических программ в их более эффективные эквиваленты, что сближает ЛП с макротехникой. Для повышения эффективности программ программисту следует знать особенности поведения механизма вычислений и границы вычислимости используемых выражений.
Операционная семантика
Логическое программирование сводит обработку данных к выбору про- извольной композиции определений (уравнений, предикатных форм), даю- щей успешное получение результата. Именно обработка формул является ос- новой – вычисление рассматривается как операция над формулой. При не- успехе происходит перебор других вариантов определений. В языках ЛП считают возможным прямой перебор вариантов, сопоставляемых с образ- цами, и организацию возвратов при неудачном выборе. Перебор вариантов выглядит как обход графа в глубину. Имеются средства управления перебо- ром с целью исключения заведомо бесперспективного поиска.
|
В отличие от множества элементов набор вариантов не требует одновре- менного существования всех составляющих. Поэтому представление вариан- тов можно освободить от необходимости формулировать все варианты сразу. В логическом программировании можно продумывать варианты отношений между образцами формул постепенно, накапливая реально встречающиеся факты и их сочетания. Содержательно такой процесс похож и на уточнение набора обработчиков прерываний на уровне оборудования. Кроме основной программы, выполняющей целевую обработку данных, отлаживается коллек- ция диагностических реакций и процедур продолжения счета для разного рода неожиданных событий, препятствующих получению результата программы.
|
Следует иметь в виду, что варианты не образуют иерархии. Их аксиома- тика подобна так называемой упрощенной теории множеств. Принципиаль- ная особенность – совпадение предикатов принадлежности и включения.
|
Абстрактный синтаксис сводим к формуле (факт | (предикат цель) | ESC)
Абстрактная машина (AML:
AML = <SCL, RL>, где RL = <S, E, C, D, R>
AML – абстрактная машина для ЛП, SCL – система команд для ЛП,
S – стек результатов,
E – значения локальных переменных,
|
R – невычислявшиеся варианты.
s e c d r → s' e' c' d' r' – переход от старого состояния к новому.
s e c d те же, что и в ФП, r – предназначен для хранения не опробованных вариантов.
В книге Хендерсона [15] приведено обобщение абстрактной машины, поддерживающее на базовом уровне работу с вариантами с использованием дополнительного дампа, гарантирующего идентичность состояния машины при переборе вариантов.
Таблица 31
|
|
Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов (88‰)...
Опора деревянной одностоечной и способы укрепление угловых опор: Опоры ВЛ - конструкции, предназначенные для поддерживания проводов на необходимой высоте над землей, водой...
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!