Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 621 - 640 из 2154.
Упорядочить по:
URL
|
дате изменения
621. Actor Prolog. Programming language definition.
... Задерживающее значение (suspending value) - значение потокового сообщения , переменной или порта , равное спейсеру # или несвязанной переменной (в том числе, пустому значению ). ... Значение переменной (value of variable) - 1. ... Значение потокового сообщения (value of flow message) - некоторое значение терма . ... Значение терма (value of term) - элемент данных , мир , спейсер или, если терм является несвязанной переменной , значение лексемы " переменная ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030135.html -- 8.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
622. Actor Prolog. Programming language definition.
... Метапеременная (metavariable) - переменная , обозначающая предикат (в этом случае метапеременная является метапредикатом ), функтор (в этом случае она является метафунктором ) или список аргументов предиката с переменным числом аргументов . Метапредикат (metapredicate) - предикат переменной арности , метапеременная , используемая в качестве атома или атом , в качестве функтора которого используется метапеременная . ... Метафунктор (metafunctor) - переменная , используемая в качестве функтора . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030140.html -- 4.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
623. Actor Prolog. Programming language definition.
... Передача сообщения (message passing) - последовательность действий, реализующая распространение информации из одного процесса в другие. ... Перекрытие инициализаторов (overriding of initializers) - осуществляется в ходе построения слотов экземпляра класса во время исполнения простого конструктора экземпляра класса - замена инициализаторов слотов в определении атрибутов класса другими инициализаторами , заданными в конструкторе или в классах , являющихся потомками рассматриваемого. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030143.html -- 29.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
624. Actor Prolog. Programming language definition.
... Разрушающее присваивание (destructive assignment) - В Акторном Прологе разрушающим присваиванием называется изменение производных значений общих переменных некоторого процесса , сопровождаемое нейтрализацией и повторным доказательством некоторых зависящих от них акторов . ... Расширенные цифры (extended digits) - цифры и буквы от "A" до "Z" (от "a" до "z"), используемые для определения числовых литералов с основанием. ... ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030144.html -- 4.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
625. Actor Prolog. Programming language definition.
. Число (number) - разновидность простого терма - числовой литерал , перед которым может стоять знак минус. Числовой литерал (numerical literal) - лексема , обозначающая числовое значение. Числовые литералы бывают целые и вещественные (плавающие). ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030151.html -- 2.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
626. Actor Prolog. Programming language definition.
Экземпляр класса, мир (class instance, world) - конкретное применение класса ; составная часть пространства поиска исполняемой программы . Экземпляр класса характеризуется набором предложений соответствующего класса и его предков, а также набором слотов , доступных во всех этих предложениях . ... Элементарный программный модуль (basic program unit) - определение класса или определение проекта . Элемент данных (data item) - обозначенная группа данных, обрабатываемая как единое целое. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030157.html -- 3.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
627. Our report in Obninsk
Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/04010000.html -- 11.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
628. Автореферат диссертации А.А.Морозова
... М.: МетаТехнология, 1993. - 240с. 2 Сбытов Н.Н., Трубицын А.В. Окно в новое измерение // Мир ПК. 1993. ... 3 См., например, Jacobson I., Christerson M., Jonsson P., Overgaard G. Object-Oriented Software Engineering. A Use Case Driven Approach. New York: ACM Press, 1994. - 528p. 4 См., например, Alexiev V. Mutable Object State for Object- Oriented Logic Programming: A Survey: Technical report TR93-15 / Dep. of Computing Science, University of Alberta. ... Back to Auto Abstract . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/05000100.html -- 4.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
629. Автореферат диссертации А.А.Морозова
... разделение И-дерева программы на акторы; . ... нейтрализация и повторное доказательство акторов. ... Таким образом, процесс доказательства каждого отдельного актора программы включает следующие фазы: . автономное доказательство актора; . ... нейтрализация акторов; . ... Если обнаруженные в процессе сопоставления локальных значений противоречия не удается устранить с помощью нейтрализации акторов, используется стандартный механизм отката, и программа возвращается на этап автономного доказательства. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/05010000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
630. Actor Prolog. Programming language definition.
... Задержанными подцелями называются подцели доказательства , исполнение которых было отложено механизмом задержки исполнения подцелей . ... Исполнение предложения включает : . Унификацию функтора и аргументов исполняемого вызова предиката с функтором и аргументами заголовка предложения или унификацию вызова предиката с метапеременной (если заголовком предложения является метапеременная ). ... Исполнение соответствующих подцелей доказательства . ... ИСПОЛНЕНИЕ ВЫЗОВА ПРЕДИКАТА . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01060302.html -- 9.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
631. Actor Prolog. Programming language definition.
Актором называется подцель доказательства , соответствующая акторному вызову предиката . Актор Q называется " вложенным " по отношению к актору P, если эти акторы принадлежат одному процессу , и доказательство актора Q, результаты которого в данный момент не отменены, происходит (произошло) в ходе доказательства актора P. Нейтрализацией актора называется отмена всех результатов его доказательства , за исключением результатов доказательства вложенных по отношению к нему акторов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01070100.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
632. Actor Prolog. Programming language definition.
На первом этапе согласования акторов сопоставляются локальные значения общих переменных , соответствующие различным акторам процесса G. Сопоставление локальных значений общих переменных осуществляется следующим образом : . ... Ссылки: актор 7.1 , актуальные значения 7.2 , доказанный актор 7.1 , локальные значения 7.2 , нейтрализация актора 7.1 , общие переменные 7.2 , процесс 5.2 , согласование акторов 7.3 , унификация 3.3 , фиксированное значение 7.2 . ... СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01070301.html -- 4.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
633. Actor Prolog. Programming language definition.
... После выполнения первого шага происходит согласование акторов процесса в соответствии с правилами, определенными в разделе 7.3 . ... Ссылки: актор 7.1 , встроенный предикат 8 , доказанный актор 7.1 , доказательство актора 6.3.1 , исполнение предиката 6.3.1 , нейтрализация актора 7.1 , общие переменные 7.2 , повторные доказательства 7.1 , принадлежать процессу 5.2 , программа 4 , производные значения 7.2 , процесс 5.2 , согласование акторов 7.3 , унификация 3.3 , class 2.1.2 , goal 5.4.1 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01080100.html -- 7.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
634. Actor Prolog. Programming language definition.
... Метапеременные разрешается использовать в качестве функторов только в составе предложений и только при условии, что такой же метафунктор является именем предиката в заголовке рассматриваемого предложения . ... Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02001020.html -- 20.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
635. Actor Prolog. Programming language definition.
... Аддитивный оператор - 6.2.2 Активизация актора - 7.1 ; см. также : 5.2.2 Активизация порта - 5.2.2 ; см. также : 5.3 , 7.4.2 , 7.4.3 Активные акторы - 7.1 ; см. также : 5.2.2 , 7.2 , 8.2 Активные процессы - 5.2 Актор - 7.1 ; см. также : введение , 3.3 , 5.2 , 5.2.1 , 5.2.2 , 5.3 , 5.4 , 6.2 , 6.3 , 6.3.1 , 6.3.4 , 7 , 7.2 , 7.2.1 , 7.3 , 7.3.1 , 7.3.2 , 7.4.2 , 7.4.3 , 7.5 , 8.1 , 8.2 Акторный вызов - 6.2 ; см ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02004000.html -- 47.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
636. Actor Prolog. Programming language definition.
... Инициализация процесса (initialization of process) - фаза исполнения процесса , перед началом которой он находился в состоянии " сформированный ". ... Общая схема исполнения предиката включает : 1) Выбор предложения с подходящим заголовком . ... 3) Исполнение соответствующих подцелей доказательства . ... Исполнение программы начинается с доказательства конструктора процесса , заданного в определении проекта , а также формирования процесса , построенного в результате доказательства этого конструктора...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030136.html -- 14.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
637. Actor Prolog. Programming language definition.
... Незащищенное сообщение (unprotected message) - потоковое сообщение , не являющееся защищенным . Неиспользуемый процесс (unused process) - одно из возможных состояний процесса - характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Несогласованный порт (inconsistent port) - одно из двух возможных состояний порта процесса - порт становится " несогласованным ", когда процесс получает через него потоковое сообщение . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030141.html -- 9.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
638. Actor Prolog. Programming language definition.
Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой , составным термом или экземпляром класса . ... Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса . ... Соответствие переменной актору (correspondence between variable and some actor) - то же, что " использование переменной актором ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030145.html -- 22.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
639. Actor Prolog. Programming language definition.
... М., 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)...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/03000000.html -- 15.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
640. My report about the Actor Prolog
В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/04020000.html -- 12.4 Кб -- 24.09.2007
Похожие документы
Похожие документы