Назад | Содержание| Вперёд Глава 2 СИНТАКСИС И СЕМА...

Назад | Содержание| Вперёд

Глава 2

СИНТАКСИС И СЕМАНТИКА ПРОЛОГ ПРОГРАММ

В данной главе дается систематическоеизложение синтаксиса и семантики основныхпонятий Пролога, а также вводятся структурныеобъекты данных. Рассматриваются следующие темы:

простые объекты данных (атомы, числа, переменные)

структурные объекты

сопоставление как основная операция над объектами

декларативная (или непроцедурная) семантика программ

взаимосвязь между декларативным и процедурным смыслами программ

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

Большая часть этих тем уже была затронута в гл.1. Теперь их изложение будет более формальным идетализированным.

2. 1. Объекты данных

На рис. 2.1 приведена классификацияобъектов данных Пролога. Пролог-системараспознает тип объекта по его синтаксическойформе в тексте программы. Это возможно благодарятому, что синтаксис Пролога

Рис. 2. 6. Некоторыепростые электрические цепи и их представление:(а) последовательное соединение резисторов rl и r2;(b) параллельное соединение двух резисторов; (с)параллельное соединение трех резисторов; (d)параллельное соединение r1 и еще одной цепи.

Упражнения

2. 1. Какие из следующихвыражений представляют собой правильные объектыв смысле Пролога? Что это за объекты (атомы, числа,переменные, структуры)?

(а) Диана

(b) диана

(с) 'Диана'

(d) _диана

(e) 'Дианаедет на юг'

(f) едет(диана, юг)

(g) 45

(h) 5( X, Y)

(i) +( север,запад)

(j) три(Черные( Кошки) )

Посмотреть ответ

2. 2. Предложитепредставление для прямоугольников, квадратов иокружностей в виде структурных объектов Пролога.Используйте подход, аналогичный приведенному нарис. 2.4. Например, прямоугольник можнопредставить четырьмя точками (а может быть,только тремя точками). Напишите несколько термовконкретных объектов такого типа сиспользованием предложенного вамипредставления.

Назад | Содержание| Вперёд

Оглавление