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

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

Моделирование процесса поступления заявок в систему, состоящую из трёх Э...
Расчет размера дохода на одного человека в Turbo Pascal
Моделирование процесса обработки заданий на вычислительном центре на GP...

Реклама



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

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


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

Случайные загрузки
C++ Builder 6 СПР...
Пользовательская...
Просмотр коммент...
PCX
PHP: обучение на ...
Х. М. Дейтел, П. ...
Правила программи...
DFileDeleter
PDJ_Anima
Run
Delphi. Готовые а...
Последнее загруж...
База предприятий ...
Язык программиров...
Время загрузки ...
Файловый менеджер
Adapter (пример D...
PDA версия сайта
Delphix Sample [И...
Printgrid

Топ загрузок
Приложение Клие... 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
Случайные статьи
Печать русских бук...
Объяснение
Чтение и запись зн...
Windows с точки вр...
Универсальная дост...
Найти переименован...
почтовым сервером,...
Списковая форма за...
Создание содержани...
Создание блога в L...
Содержание
Модификации устрой...
Основы службы подд...
Связывание данных ...
Установка голубого...
Женская психология
12.1. Задача
Механизмы доступа ...
Помещение формы в ...
Vemeo.
Блок настроек сайта
Оптимальная органи...
согласно требовани...
Использование разд...
Задание: определит...
Статистика



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


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