Навигация
Главная
Поиск
Форум
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
21 ошибка прогр... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
ТЕХНОЛОГИИ ДОСТ... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Имитационное мо... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Реклама
Сейчас на сайте
Гостей: 31
На сайте нет зарегистрированных пользователей

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

Моделирование работы крупного аэропорта на GPSS + Пояснительная записка
Моделирование вычислительного центра на GPSS + Отчет + Блок схема
Метод половинного деления для нахождения корня уровнения на Turbo Pascal...

Влияние порядка предложений и предикатов в них на достижение цели в Турбо Прологе
Чтобы выяснить причину этой зависимости, необходимо более
детально рассмотреть работу Пролог-системы на однопроцессорной
ЭВМ. Для наглядности представим этот процесс в виде дерева реше-
ний. Вершина дерева будет соответствовать исходной цели, постав-
ленной в Пролог-программе, листья - множеству возможных вариан-
тов решения задачи. Все остальные вершины будут определять про-
межуточные состояния Пролог-системы в процессе решения задачи, а
дуги будут определять направления переходов от одного состояния
системы к другому. Для эффективной и безопасной работы компьютера вам может потребоваться антивирус. Отиличным вариантом будет установить антивирус Касперского. 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 19:09:09 · 0 Комментариев · 9329 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Crystal Button
Tank [Исходник на...
Tenis [Исходник н...
IpEditAdress
ShadelLabel
SMLPack v1.0
Borland C++Builde...
Основы Delphi. Пр...
Еext Editor
Encrypt Decrypt
Переработанный пл...
netBIOS
Отключение и вклю...
Анимированное поя...
Технология .Net в VB
C++ Builder 6 СПР...
Просмотр коммент...
3D Октаэдр
Обучение Borland ...
Система баннеро-о...

Топ загрузок
Приложение Клие... 100772
Delphi 7 Enterp... 97809
Converter AMR<-... 20260
GPSS World Stud... 17014
Borland C++Buil... 14189
Borland Delphi ... 10267
Turbo Pascal fo... 7372
Калькулятор [Ис... 5972
Visual Studio 2... 5206
Microsoft SQL S... 3661
Случайные статьи
Основы PHP
убедиться, что сет...
Логическое «ИЛИ» (...
Для добавления кол...
Domain Controllers...
Чтение низкоуровне...
Адаптеры функторов
Реализация модели ...
Язык программирова...
Числовые функции
Умение качественно...
LOCATE (ОПРЕДЕЛИТЬ)
Invalid combinatio...
Форматированный вы...
Настраиваемый клас...
Установка или наст...
Школа SEO - самый ...
Объектная модель M...
Регитсрация сигнал...
13.4. Структуры дл...
Общность в поведении
Challenge Handshak...
Умеете ли вы делат...
Абстрактная машина...
Поэтому информация...
Статистика



Друзья сайта
Программы, игры


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