Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Гостевая книга ... 65535
Содержание сайт... 65535
Вызов хранимых ... 65535
Эмулятор микроп... 65535
Бип из системно... 62576
Организация зап... 59762
Invision Power ... 59426
Приложение «Про... 58650
Оператор выбора... 57773
Модуль Forms 57712
Подключение Mic... 57054
Создание отчето... 56981
ТЕХНОЛОГИИ ДОСТ... 53276
Программируемая... 51046
Пример работы с... 49136
Имитационное мо... 48755
21 ошибка прогр... 43517
Реклама
Сейчас на сайте
Гостей: 9
На сайте нет зарегистрированных пользователей

Пользователей: 13,039
новичок: kaitlynt4yz
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

Информационная система - транспортный парк на Turbo Pascal (База данных)...
База данных склада на Delphi + Схема БД
Обработка задач на ЭВМ на GPSS + Пояснительная записка

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании

Влияние порядка предложений и предикатов в них на достижение цели в Турбо Прологе
Чтобы выяснить причину этой зависимости, необходимо более
детально рассмотреть работу Пролог-системы на однопроцессорной
ЭВМ. Для наглядности представим этот процесс в виде дерева реше-
ний. Вершина дерева будет соответствовать исходной цели, постав-
ленной в Пролог-программе, листья - множеству возможных вариан-
тов решения задачи. Все остальные вершины будут определять про-
межуточные состояния Пролог-системы в процессе решения задачи, а
дуги будут определять направления переходов от одного состояния
системы к другому. Для эффективной и безопасной работы компьютера вам может потребоваться антивирус. Отиличным вариантом будет установить антивирус Касперского. Kaspersky-Shop.ru - специализированный интернет-магазин компании ООО "Эникод", специализирующийся на продаже продуктов "Лаборатории Касперского". Мы предоставляем весь спектр лицензионного программного обеспечения "Лаборатории Касперского" и возможность быстро и удобно приобрести желаемый продукт в режиме онлайн. Клиентам предоставляются различные методы оплаты, коробочная и электронная поставки, оперативная обработка заказов, возможность отслеживания статуса заказа, а также скидки и подарки от магазина http://www.kaspersky-shop.ru/.
Рассмотрим процесс достижения цели на примере программы
родственных отношений из лабораторной работы N 1. Пусть заданы
следующие факты:
parent("Олег","Борис"). (1)
parent("Олег","Таня"). (2)
parent("Борис","Оля"). (3)
parent("Борис","Юра"). (4)



и определено правило для предиката "предок":
ancestor(X,Y):-parent(X,Y). (5)
ancestor(X,Z):-parent(X,Y),ancestor(Y,Z). (6)



Работая в оболочке Турбо-Пролога определим следующую цель:
Goal: ancestor("Олег","Юра"), (7)



которая на русском языке звучит следующим образом:
"Является ли Олег предком Юры?".
Дерево решений для данного примера приведено на рис.1.
Рассмотрим последовательность действий Пролог-системы. После
подачи на ее вход цели ancestor("Олег","Юра") система начинает
анализировать текст программы, начиная с первого предложения.
Предложения (1)-(4) представляют собой факты и ни один из них
не совпадает с целью (7). Следующим на пути Пролог-системы
встречается первое предложение правила ancestor, после чего
выполняется попытка замещения исходного предиката новым соглас-
но этому правилу. Результатом этой операции является предикат
parent("Олег","Юра").Для данного предиката определено множество
фактов, но ни один из них не удовлетворяет полученной цели.
Поэтому, в данной ветви дерева поиска решений не может быть
листьев и Пролог-система осуществляет автоматический возврат
по дереву на уровень выше и продолжает, если это возможно, поиск
в другом направлении. В нашем случае возврат на уровень выше
означает переход к просмотру исходной программы, начиная с пред-
ложения следующего за предложением (5), приведшим к отрицатель-
ному результату поиска. Предложение (6) определяет правило,
результат которого имеет следующий вид:
parent("Олег",Y), ancestor(Y,"Юра").



Для раскрытия предиката ancestor(Y,"Юра") повторяется та
же последовательность действий, что и для исходного предиката-
цели. Первое сопоставимое предложение в тексте программы - это
правило (5), согласно которому предикат ancestor заменяется на
предикат parent с аналогичными аргументами:
parent("Олег",Y),parent(Y,"Юра").



В полученном выражении все предикаты относятся к области
фактов, поэтому процесс преобразования предикатов заканчивается.
На следующем этапе выполняется конкретизация переменной Y. Эта
операция выполняется на базе имеющихся фактов (1)-(4). Первый же
вариант конкретизации (по предложению (1) Y="Борис") дает удов-
летворительный результат:
parent("Олег","Борис"),parent("Борис","Юра").



Последнее выражение содержит только константные объекты.
Оба предиката, входящие в это выражение представляют собой истин-
ные факты. Следовательно, данное выражение также истинно и цель
считается достигнутой. Пролог-система сообщит об этом появлением
в окне диалога слова "Yes". В результате анализа данного примера
можно сделать следующее заключение.
С программной точки зрения Пролог-система представляет со-
бой процедуру поиска по дереву решений. В ходе реализации этой
процедуры выполняются следующие операции:
- сопоставление термов языка Пролог;
- конкретизация переменных;
- автоматический возврат на предыдущий уровень дерева при
отсутствии решения в текущей ветви дерева.
Сопоставление, или унификация, представляет собой опера-
цию, операндами которой являются два терма языка. Результатом
операции является ИСТИНА, если операнды соответствуют друг дру-
гу, и ЛОЖЬ - в противном случае. Два терма сопоставимы в одном
из двух случаев:
- если они идентичны (объекты одного типа);
- если в термах есть переменные, которые могут быть иден-
тичны.
Например, две структуры dat(D,M,1994) и dat(X,june,Y)
сопоставимы (D=X,M=june,1994=Y), а структуры dat(15,M,Y) и
dat(28,M,1990) - не сопоставимы, т.к. первая пара объектов не
может быть идентичной.
Теперь изменим исходный текст программы следующим образом.
Поменяем местами предложения (5) и (6), а в новом предложении
(5) поменяем порядок следования предикатов в правой части. Таким
образом программа будет иметь следующий вид:
parent("Олег","Борис"). (1)
parent("Олег","Таня"). (2)
parent("Борис","Оля"). (3)
parent("Борис","Юра"). (4)
ancestor(X,Z):-ancestor(Y,Z),parent(X,Y). (5)
ancestor(X,Y):-parent(X,Y). (6)
Goal: ancestor("Олег","Юра"), (7)



Дерево решений для второго случая представлено на рис.2. В про-
цессе поиска решений для той же цели первым по тексту программы
попадается рекурсивное правило, а первым предикатом в нем - ре-
курсивный вызов. Поэтому дерево на рис.2 будет иметь вид беско-
нечной цепочки, а после запуска данной программы Пролог-система
с некоторой задержкой выдаст сообщение о переполнении стека
Таким образом, данный вариант программы подтверждает зависи-
мость процедурной семантики от порядка следования предложений и
предикатов в них.
Опубликовал Kest April 02 2009 23:09:09 · 0 Комментариев · 7095 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
База каталогов ( ...
Программирование ...
PHP: обучение на ...
DelphiXIsoDemo1
Векторный редакто...
3d Tank [Исходник...
CABfiles
Краснов М. - Open...
Просмотр файлов и...
С/C++ Программиро...
Ведение справочны...
Расширенный загру...
Определние размер...
ActiveX в Delphi
Язык программиров...
EMSQuickImport
Создание Web-сайт...
De Knop
Delphi World 6.0
Фильтры изображений

Топ загрузок
Приложение Клие... 100333
Delphi 7 Enterp... 79793
Converter AMR<-... 20025
Borland C++Buil... 10822
GPSS World Stud... 9726
Borland Delphi ... 7846
Turbo Pascal fo... 6909
Visual Studio 2... 4926
Калькулятор [Ис... 4122
FreeSMS v1.3.1 3488
Случайные статьи
Организация информ...
Другие способы лам...
Презентации Prezi
Представление зада...
Поиск максимальног...
Как переносить уче...
Обработка текста в...
MissingMappingAction
Числа и серьезные ...
Печать документа
Шифрование и расши...
Урок 4: прерывания
ChatSession.h
Ввидеоизображение ...
Содержательное опи...
Разработка табличн...
Приближение "нулев...
Краткая таблица зн...
Фильтр "не"
Свойство TableMapp...
Интернета
на диске RAID-1
Интернет-казино Ву...
Управление виртуал...
Моделирование диск...
Статистика



Друзья сайта
Программы, игры
Дизайн буклетов в Киеве от агентства CHAOS.com.ua.

Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?