3. Декларативная и процедурная семантика программ. Рекомендуемый порядок предложений и целей.

Декларативная семантика в Прологе касается только отношений, определенных в программе. Поэтому она регламентирует то, каким должен быть результат работы программы.

Процедурная семантика определяет так же способ получение этого результата, показывает, как фактически проводится обработка этих отношений системы Пролог.

Пролог самостоятельно обрабатывает многие процедурные детали.

Декларативный подход не всегда позволяет решить все задачи, иногда процедурные аспекты не могут полностью игнорироваться по практическим причинам, связанным, с обеспечением вычислительной эффективности.

Рекомендуемый порядок предложений и целей.

1.Впервую очередь применяется самое простое правило (где нет рекурсии).

2.Следует избегать левой рекурсии (когда предикат сначала вызывает себя, а только потом другие предикаты).

4. Эвристическое решение задачи как противоположность алгоритмическому. Когда используются эвристические методы? ии - сфера исследования многих наук.

Эвристические решения - это методы, которые основываются на простейших правилах, интуитивных критериях, базирующихся на предыдущем опыте и на других ненадежных методах вплоть до угадывания. Эвристические методы не всегда приводят к цели, даже когда есть решение, или они могут привести к неверному решению.

Когда используются эвристические методы?

1.Ней звестен алгоритм

2.Доказано отсутствие алгоритмического решения

3.Существуют ограничения, налагаемые вычислительной техникой.

На основе эвристических решении потихоньку изобретаются новые алгоритмы. Однако эвристические программы при своей реализации базируются на уже существующих алгоритмах.

5. Приведите классификацию объектов данных в Прологе.

Программа на языке Пролог описывает некую действительность.

Объекты (элементы) описываемого мира представляются с помощью термов. Терм - это имя объекта. Существует 4 вида термов: атомы, числа, переменные и составные термы.

Переменные записываются с помощью произвольных латинских и русских букв, цифр и знаков подчеркивания, но первый символ должен быть всегда прописной латинской буквой или знаком подчеркивания («_»). Атомы могут формироваться тремя перечисленными ниже способами.

1. Строки букв (латинских или русских), цифр и знаков подчеркивания, начинающиеся со строчной буквы и не начинающиеся со знака подчеркивания.

2.Строки некоторых специальных символов (не содержащие в себе пробелов): « » => <= <=> <-> +.Некоторые комбинации специальных символов уже используются в языке в специальных целях, кроме того, какие комбинации таких символов считаются допустимыми, может зависеть от разных версий языка SWI-Prolog.

3.Строка любых символов, заключенные в ординарные апострофы. Внутри могут быть пробелы ('X'. 'А роза упала на лапу Азора').

Числа в Прологе бывают целыми и вещественными. Составные термы (или структуры) состоят из имени структуры (представленного атомом) и списка аргументов (термов Пролога, то есть атомов, чисел, переменных или других составных термов), заключенных в круглые скобки и разделенных запятыми.