... Конструктор (constructor) - утверждение о существовании экземпляра класса или резидента ; в результате доказательства конструкторов происходит построение новых экземпляров классов и резидентов . Различаются конструкторы миров (а именно простые конструкторы и конструкторы процессов ) и конструкторы резидентов . Конструктор мира (constructor of world) - простой конструктор или конструктор процесса . ... Доказательство конструктора процесса приводит к созданию нового процесса . ...
... Лексемами являются : переменные , символы и ключевые слова , целые числовые литералы , вещественные числовые литералы , сегменты строк , ограничители . Локальное значение общей переменной (local value of common variable) - значение общей переменной , соответствующее некоторому конкретному актору . В Акторном Прологе каждый актор хранит свои собственные ( локальные ) значения общих переменных . ...
... Метапеременная (metavariable) - переменная , обозначающая предикат (в этом случае метапеременная является метапредикатом ), функтор (в этом случае она является метафунктором ) или список аргументов предиката с переменным числом аргументов . Метапредикат (metapredicate) - предикат переменной арности , метапеременная , используемая в качестве атома или атом , в качестве функтора которого используется метапеременная . ... Метафунктор (metafunctor) - переменная , используемая в качестве функтора . ...
... Незащищенное сообщение (unprotected message) - потоковое сообщение , не являющееся защищенным . Неиспользуемый процесс (unused process) - одно из возможных состояний процесса - характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Несогласованный порт (inconsistent port) - одно из двух возможных состояний порта процесса - порт становится " несогласованным ", когда процесс получает через него потоковое сообщение . ...
... Обработка сообщения (processing of message) - фаза исполнения процесса - действия, осуществляемые процессом в случае получения сообщения . ... Описатель порта (declarator of port) - ключевое слово , с помощью которого задается сорт порта . Описателями портов служат ключевые слова " suspending " и " protecting ", обозначающие " отключающий " и " защищающий " соответственно. ... Поступление отключающего потокового сообщения на любой отключающий порт процесса вызывает отключение этого процесса . ...
... Передача сообщения (message passing) - последовательность действий, реализующая распространение информации из одного процесса в другие. ... Перекрытие инициализаторов (overriding of initializers) - осуществляется в ходе построения слотов экземпляра класса во время исполнения простого конструктора экземпляра класса - замена инициализаторов слотов в определении атрибутов класса другими инициализаторами , заданными в конструкторе или в классах , являющихся потомками рассматриваемого. ...
... Разрушающее присваивание (destructive assignment) - В Акторном Прологе разрушающим присваиванием называется изменение производных значений общих переменных некоторого процесса , сопровождаемое нейтрализацией и повторным доказательством некоторых зависящих от них акторов . ... Расширенные цифры (extended digits) - цифры и буквы от "A" до "Z" (от "a" до "z"), используемые для определения числовых литералов с основанием. ... ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой , составным термом или экземпляром класса . ... Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса . ... Соответствие переменной актору (correspondence between variable and some actor) - то же, что " использование переменной актором ". ...
Текущее значение порта (current value of port) - некоторый вспомогательный терм , поставленный в соответствие порту . Терм (term) - синтаксическая конструкция, обозначающая элемент данных или экземпляр класса . Различаются простые термы , составные термы , а также вызовы функций в предложениях . Точка выбора (backtrack point) - неисследованный путь, по которому может пойти исполнение программы в случае отката . ...
Унификация (unification) - операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Унифицировать, ' == ' (unify) - предопределенный предикат языка, вызывающий унификацию заданных аргументов . ... Управляющий символ (control character) - элемент набора символов ASCII - возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата или возврат каретки. ...
Фаза исполнения процесса (phase of execution of process) - законченный период исполнения процесса , соответствующий обработке процессом некоторого сообщения или изменению состояния процесса . После успешного окончания фазы исполнения процесса осуществляется фиксирование процесса . Факт (fact) - предложение , в составе которого отсутствуют подцели . ... Фиксирование терма (fixation of term) - заменена спейсером # всех несвязанных переменных в составе терма . ... 2) Определение портов процесса . ...
. Хвост (tail) - остаток списка или недоопределенного множества . ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
Целевое утверждение (goal statement) - утверждение, с доказательства которого начинается исполнение программы . Целевой мир резидента (target world of resident) - один из миров , в которых резидент исполняет заданный вызов функции . ... Целевой процесс резидента (target process of resident) - один из процессов , состояние которых отслеживает резидент ; в состав целевого процесса входят некоторые целевые миры резидента . ...
. Число (number) - разновидность простого терма - числовой литерал , перед которым может стоять знак минус. Числовой литерал (numerical literal) - лексема , обозначающая числовое значение. Числовые литералы бывают целые и вещественные (плавающие). ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
Экземпляр класса, мир (class instance, world) - конкретное применение класса ; составная часть пространства поиска исполняемой программы . Экземпляр класса характеризуется набором предложений соответствующего класса и его предков, а также набором слотов , доступных во всех этих предложениях . ... Элементарный программный модуль (basic program unit) - определение класса или определение проекта . Элемент данных (data item) - обозначенная группа данных, обрабатываемая как единое целое. ...
... М., 1998. - 199с. ( http: // www.cplire.ru / Lab144 / thesis.pdf ) . ... Morozov A.A., Obukhov Yu.V. Development of the Methods and Tools for Mathematically Correct Logic Programming of Internet Agents // Pattern Recognition and Image Analysis. ... Morozov A.A. Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents / Catuscia Palamidessi (Ed.), Logic Programming: 19th International Conference, ICLP 2003 (Mumbai, India, December 9-13, 2003)...
В этом файле перечислены все изменения, которые были внесены в текст определения языка от 31 мая 1996 года: . ... Внесены изменения в разделы "Недоопределенные множества" и "Атомарные формулы". ... Внесены изменения в список терминов и определений, в разделы "Введение", "Определение данных", "Списки", "Собственные предложения", "Атомарные формулы", "Сводка синтаксиса языка", "Список понятий языка". ... Morozov A.A. Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics. ...
OS/2 Russian Coding (Alt) . ... появятся новые области применения логического программирования . ... Логическое программирование будет применяться для создания интеллектуальных агентов . Логическое программирование будет применяться для поиска и передачи информации в WWW . Логическое программирование будет применяться для управления распределенными системами реального времени . ... Логическое программирование будет применяться для управления виртуальной реальностью . ... The Actor Prolog . ...
Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...
В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...