Навигация
Главная
Поиск
Форум
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
Эмулятор микроп... 65535
Приложение «Про... 61638
Организация зап... 61338
Invision Power ... 60989
Оператор выбора... 60301
Подключение Mic... 59123
Модуль Forms 58962
Создание отчето... 58538
ТЕХНОЛОГИИ ДОСТ... 54775
Программируемая... 53506
Пример работы с... 51491
Имитационное мо... 50204
21 ошибка прогр... 45161
Реклама
Сейчас на сайте
Гостей: 11
На сайте нет зарегистрированных пользователей

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

Обработка задач на ЭВМ на GPSS + Пояснительная записка
Меры близости на векторах в Delphi + Блок схемы
Лабораторная работа по динамическим спискам на Turbo Pascal (перемещение...

Реклама



Подписывайся на 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 Комментариев · 7269 Прочтений · Для печати

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


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



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 5 в подлинник...
Программирование ...
Plasma
EditNew
SMExport
TmxOutlookBarPro
С. Г. Горнаков - ...
MxProtector
Calendar
Керниган Б.В., Ри...
Delphi 7: Для про...
Battle.Net - мони...
mp3tag
Prolog Interprete...
Программирование ...
PDJPack
C++ Builder в за...
ComboBox97
Самоучитель C++
Редактор текста (...

Топ загрузок
Приложение Клие... 100356
Delphi 7 Enterp... 81307
Converter AMR<-... 20037
Borland C++Buil... 10907
GPSS World Stud... 10004
Borland Delphi ... 7962
Turbo Pascal fo... 6939
Visual Studio 2... 4946
Калькулятор [Ис... 4194
FreeSMS v1.3.1 3500
Случайные статьи
Создание трояна в ...
Akismet и All -in ...
Классы и объекты
Сейчас мы хотим ус...
Services for Macin...
Определение вторич...
Работа с константа...
Сравнение ADO.NET ...
MissingMappingAction
Кроссбраузерная по...
Пути повышения Lin...
Получить адреса и ...
Указатель "уровень...
Расширение
Состояние потока и...
Мультиметоды для к...
Содержимое объекта...
Установление подли...
Система оптимизаци...
4.3. Общие случа...
blueyonder
Too many open files
Магистрали Gigabit...
ВВЕДЕНИЕ В СПИСКИ
Трояны - это свои ...
Статистика



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

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