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

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

Моделирование литейного цеха на GPSS + Пояснительная записка
Движение шарика в эллиптическои параболоиде на Delphi [OpenGL] + Блок схемы
Моделирование работы ЭВМ на 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 22:59:44 · 1 Комментариев · 11720 Прочтений · Для печати

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


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

Случайные загрузки
Swing. Эффектные...
PHP 5 на примерах
GamesBase 3.0
PHP5. Профессиона...
ICQ
Программирование ...
Socoban
DeleteEdit
WinPopup
C# в кратком изло...
Фильтры изображений
Отключение и вклю...
SendSMS для PHP-F...
Animation Effect ...
ATComponents
Info
Delphi на примерах
Пятнашки и крести...
MPTools
База Allsubmitter...

Топ загрузок
Приложение Клие... 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
Случайные статьи
Сравнение регулярн...
";" expected
Web-навигация
«Использование» ша...
Область визуализац...
Имя в языке C++ : ...
10.7. Дополнительн...
Совместное примене...
COM и защита
Почтовый конверт
Другие тесты
ЭЛЕМЕНТЫ ПРОЦЕДУРЫ...
Разработать процед...
Стандартные подпро...
Указатель "идентиф...
Виртуальные сети
Запуск закачки
Disk full
Выполнение операци...
Новые возможности FFS
Обычно они указыва...
Базис I, B, C, S
Интеллектуальные м...
Процедура итерацио...
Работа в среде Тур...
Статистика



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


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