Назад | Содержание| Вперёд Глава 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. Например, прямоугольник можнопредставить четырьмя точками (а может быть,только тремя точками). Напишите несколько термовконкретных объектов такого типа сиспользованием предложенного вамипредставления.

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









Главная | В избранное | Наш E-MAIL | Добавить материал | Нашёл ошибку | Наверх