Навигация
Главная
Поиск
Форум
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
Эмулятор микроп... 65535
Подключение Mic... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Invision Power ... 65291
Организация зап... 63945
Модуль Forms 60856
Создание отчето... 60724
ТЕХНОЛОГИИ ДОСТ... 57045
Создание потоко... 56394
Пример работы с... 54284
Имитационное мо... 52493
Реклама
Сейчас на сайте
Гостей: 13
На сайте нет зарегистрированных пользователей

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

Моделирование информационно-поисковой библиографической системы на gpss ...
База данных студентов на Delphi (файл записей) + Блок схемы
Моделирование интернет магазина (Apache, Php, Html) на GPSS + Блок схема

Реклама



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

ПОДПИСЫВАЙСЯ на канал о программировании
Декларативная и процедурная семантика языка Пролог
Язык Пролог, как один из языков логического программиро-
вания, базируется на описательной, или декларативной, точке зре-
ния на программирование. Поэтому при использовании Пролога в
большей мере требуются навыки логического мышления, а не знания
о методах кодирования управляющих воздействий на ЭВМ.
Декларативный смысл (семантика) Пролог-программ определяет
формальную, математическую сторону отношений между объектами,
определенными в программе и не касается вопросов процедурной
реализации того или иного отношения в различных версиях Пролог-
систем и на различных инструментальных ЭВМ. Способность Пролог-
систем к "самостоятельному" решению многих процедурных вопросов
выделяет этот язык из множества современных языков программиро-
вания. Данная особенность языка позволяет разработчику программ
максимально сосредоточиться на предметной области.
Декларативный смысл Пролог-программ заключается в определе-
нии достижимости заданной цели. Более строгое определение декла-
ративной семантики связано с понятиями конкретизации и вариантов
предложений.
Конкретизацией [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 21:59:44 · 1 Комментариев · 11981 Прочтений · Для печати

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


Комментарии
aibolec February 17 2010 21: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...
Шаблон для новост...

Случайные загрузки
ZipTV
Программирование ...
Черный круг двига...
Основы Delphi
CLR via C#
Добавление басса ...
Microsoft Press -...
Trojan [Исходник ...
Мод "проверочный ...
Векторный редакто...
PrevInst
PHP/MySQL для нач...
Geo-Whois
CwstatusBar
Halcyon
Animation Effect ...
Ведение справочны...
Программирование ...
3d Tank [Исходник...
Упорядоченный дин...

Топ загрузок
Приложение Клие... 100376
Delphi 7 Enterp... 83096
Converter AMR<-... 20046
Borland C++Buil... 11180
GPSS World Stud... 10915
Borland Delphi ... 8128
Turbo Pascal fo... 6973
Visual Studio 2... 4963
Калькулятор [Ис... 4360
FreeSMS v1.3.1 3510
Случайные статьи
Создание структуры...
Создание справки (...
Protocol) 355IAS (...
Простая ассоциация
Оценка с точностью...
Где клэптон койл к...
Основные конструкц...
Просмотр списка до...
Постоянно продолжа...
Умение рассказыват...
аутентификацию по ...
Спецификация EPON
Демонстрационное п...
Описание типа доку...
КРАТКОЕ ОПИСАНИЕ G...
Замечание по повод...
Модификация источн...
Особенности органи...
Где купить полноте...
Содержание
Адаптер для источн...
Возможности окруже...
Рационализация дом...
Смысл семантики
Следует ли защищат...
Статистика



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


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