Вычислительная техника в инженерных расчетах. Черный А.А. - 30 стр.

      Определенной спецификой обладают и переменные типа «выра-
жения» – имеется в виду их способность удлиняться при отождествле-
нии. Правильное использование переменных этого типа также позволя-
ет значительно повысить эффективность Рефал – программы.




                       Пролог и Пролог ++

      Пролог - это язык, предназначенный для поиска решений. Это
декларативный язык, то есть формальная постановка задачи может
быть использована для ее решения. Пролог определяет логические от-
ношения в задаче, как отличные от пошагового решения этой задачи.
      Центральной частью Пролога являются средства логического вы-
вода, которые решают запросы, используя заданное множество фактов
и правил, к которым обращаются как к утверждениям. Пролог также не
имеет деления переменных на типы и может динамически добавлять
правила и факты к средствам вывода. Таким образом, это гибкий язык,
и он более пригоден для объектно-ориентированного расширения, чем
язык со строго заданными типами, например, Паскаль. Пролог ++ пред-
ставляет собой дополнение к стандартному Прологу.
       Все свойства языка по-прежнему доступны программистам. Сле-
довательно, Пролог ++ можно отнести к группе гибридных языков,
представителями которой считаются Object Pascal и C++. Расширение
Пролог ++ поддерживает все свойства, присущие обычно объектно-
ориентированным языкам: концепции объектов и классов, единичное и
многократное наследование, разбиение на подклассы и передачу сооб-
щений. Поддерживаются также некоторые усовершенствованные свой-
ства, существующие в таких языках, как C++ и Smalltalk, включая об-
щие и частные методы.
      Интересным свойством является поддержка в языке программи-
рования с управлением данными. Эта техника, которая может быть еще
названа программированием, "управляемым событиями", используется
в большинстве языков объектно-ориентированного программирования,
особенно в тех, которые разработаны для машин с интерфейсом, управ-
ляемым "мышью".
       Объектно-ориентированная программа реагирует на события, ко-
торые определяют поток управления. В Прологе ++ программирование
с управлением данными достигается при помощи концепции демонов.
Демон представляет собой объект, методы которого вызываются в слу-
чае определенных событий и могут быть таким образом использованы
для поддержки программирования с управлением данными.


                                   30