Навигация
Главная
Поиск
Форум
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
Реклама
Сейчас на сайте
Гостей: 37
На сайте нет зарегистрированных пользователей

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

Изменения контуров и сортировка в двумерном массиве чисел на Turbo Pasca...
Моделирование работы узла коммутации сообщений на GPSS + Пояснительная з...
Сравнение двух бинарных деревьев на Turbo Pascal + отчет

Декларативная и процедурная семантика языка Пролог
Язык Пролог, как один из языков логического программиро-
вания, базируется на описательной, или декларативной, точке зре-
ния на программирование. Поэтому при использовании Пролога в
большей мере требуются навыки логического мышления, а не знания
о методах кодирования управляющих воздействий на ЭВМ.
Декларативный смысл (семантика) Пролог-программ определяет
формальную, математическую сторону отношений между объектами,
определенными в программе и не касается вопросов процедурной
реализации того или иного отношения в различных версиях Пролог-
систем и на различных инструментальных ЭВМ. Способность Пролог-
систем к "самостоятельному" решению многих процедурных вопросов
выделяет этот язык из множества современных языков программиро-
вания. Данная особенность языка позволяет разработчику программ
максимально сосредоточиться на предметной области.
Декларативный смысл Пролог-программ заключается в определе-
нии достижимости заданной цели. Более строгое определение декла-
ративной семантики связано с понятиями конкретизации и вариантов
предложений.
Конкретизацией [S] предложения S называется результат замены
всех переменных, используемых в данном предложении, на их конкрет-
ные значения (термы).
Вариантом предложения S называется такое предложение C, в ко-
тором выполнена замена переменных.
Например, если в программе определено правило:
child(X,Y):-parent(Y,X)



и программа допускает два варианта этого предложения
child(X,V):-parent(V,X);
child(Z,Y):-parent(Z,X),



то возможные следующин конкретизации данного предложения:
child(bob,tom):-parent(tom,bob).
child(john,bob:-parent(bob,john).



Формальное определение декларативной семантики звучит
следующим образом.
Декларативный смысл Пролог-программы заключается в дости-
жении цели G, которая считается достигнутой только в том случае,
если среди множества предложений программы существует такое
предложение S, для которого возможна конкретизация K=[S] такая,
что
- во-первых, голова предложения К совпадает с целью G;
- во-вторых, все предикаты в теле предложения К истинны.
На практике чаще всего предикат цели G описывается в виде
множества подцелей (предикатов), объединенных между собой логи-
ческими операциями И и ИЛИ. Причем, если среди операций встреча-
ется n логических операций ИЛИ, то исходное предложение можно
представить в виде n+1 новых предложений. Например, если предикат
G определяется как дизъюнкция предикатов P и G, то есть
G:-P; Q,



то данное предложение можно записать в виде предложений:
G:-P.
G:-Q.



Аналогичным образом исходный предикат G:-P;Q;R можно
представить в виде трех предложений:
G:-P.
G:-Q.
G:-R.



С декларативной точки зрения эти варианты совершенно
равнозначны. Кроме того равнозначными с декларативной точки
зрения являются и следующие пары предложений:
G:-P,Q. G:-Q,P.



или
G:-P;Q. G:-Q;P.



В последнем случае пара предикатов соответствует следующим парам
предложений Пролог-программы:
G:-P. G:-Q.
G:-Q. G:-P.



То есть с декларативной точки зрения результат программы
(достижимость цели) не должен зависить ни от порядка предложе-
ний, ни от порядка предикатов в предложении.
На практике это свойство Пролог-программы не сохраняется
ввиду того, что сама Пролог-система представляет собой програм-
му, написанную на процедурном языке и реализованную на однопро-
цессорной ЭВМ с простейшей архитектурой. Это вторая особенность
Пролог-системы связывается с процедурной семантикой языка, зави-
сящей от его реализации. Декларативная и процедурная семантики
полностью и однозначно определяют результат действия конкретной
Пролог-системы. Процедурная семантика связана с внутренней орга-
низацией Пролог-системы и определяет последовательность функцио-
нирования ЭВМ, ориентированной на достижение цели.
Если предложение G:-P,Q с декларативной точки зрения имеет
следующий смысл:
"отношение G истинно, если истинны отношения P и Q (при
этом порядок записи P и Q роли не играет)
";
то с процедурной точки зрения оно интерпретируется иначе:
"чтобы решить задачу G, необходимо сначала выполгить про-
цедуру P, а затем процедуру Q
" (так как ЭВМ имеет один процес-
сор).
Запись предложения G:-Q,P определяет совершенно другую
программу, состоящую в выполнении сначала процедуры Q, а затем -
процедуры P. В некоторых случаях такая перестановка может при-
вести к неверному результату.
Таким образом, с процедурной точки зрения результат выпол-
нения программы может зависеть от порядка предложений и предика-
тов в них.
Опубликовал Kest April 02 2009 18:59:44 · 1 Комментариев · 14980 Прочтений · Для печати

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


Комментарии
aibolec February 17 2010 18:23:36
smiley
Добавить комментарий
Имя:



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

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

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

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

Пароль



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

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

Случайные загрузки
PCXReader. Програ...
CoolHints2k
Алгоритм DES шифр...
LaserTank [Исходн...
Краснов М. - Open...
Delphi 2005 для .NET
Паскаль и Дельфи....
База для Allsubmi...
Создание меню на ...
CABfiles
Программирование ...
Медиа комбайн
Pro-Download Sys...
Plasma
Архив Апгрейтов с...
EditButton
Atb
Клавиатурный трен...
Pass [Исходник на...
Проигрыватель Mp3

Топ загрузок
Приложение Клие... 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
Случайные статьи
Язык С: операции н...
ПАРАМЕТРИЗАЦИЯ В П...
Правила техники бе...
Бесплатные игровые...
Дан массив A(5,5)....
Дополнительная инф...
Онлайн играть в ка...
Microsoft - в инте...
Архитектура Ethern...
Модификация источн...
Разновидности Б-де...
Нужно ли продвигат...
Системные включаем...
Вычисление суммы ч...
Программирование н...
Используя окно Мой...
Онлайн игровые авт...
Глава 18. Страт...
Примечание Консорц...
НЕПОДВИЖНАЯ ТОЧКА....
Коммуникация
Аудит также позвол...
Нарисовать заданну...
HTPC под Windows
Игровые симуляторы...
Статистика



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


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