Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 561 - 580 из 2154.
Упорядочить по:
URL
|
дате изменения
561. Actor Prolog. Programming language definition.
Стратегия управления Акторного Пролога (" акторный механизм ") является расширением стандартной стратегии управления ("поиск слева направо в глубину с возвратом"), соответствующей текстуальному упорядочению процедур и вызовов предикатов . ... Ссылки: актор 7.1 , акторный механизм 7 , вызов предиката 6.2 , исполнение предиката 6.3.1 , механизм задержки 6.3.3 , повторные доказательства 7.1 , процедура 6 . Следующий: 6.3.1. ИСПОЛНЕНИЕ ВЫЗОВА ПРЕДИКАТА . ... МЕХАНИЗМ ЗАДЕРЖКИ ИСПОЛНЕНИЯ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01060300.html -- 3.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
562. Actor Prolog. Programming language definition.
После сопоставления локальных значений общих переменных автоматически вызывается повторное доказательство всех нейтральных акторов процесса G, за исключением акторов - представителей портов процесса (см. свойства акторов - представителей в разделе 5.2.2 ). Порядок исполнения повторных доказательств акторов в языке не определен. Согласование акторов считается успешным в том и только в том случае, если завершаются успехом все повторные доказательства . ... СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01070302.html -- 4.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
563. Actor Prolog. Programming language definition.
... Пересмотр списка задержанных подцелей осуществляется следующим образом : . ... Считается, что на каждой фазе исполнения процесса используется новый список задержанных подцелей . В начале фазы список задержанных подцелей является пустым. Ссылки: задерживающие значения 6.3.2 , значение терма 3 , исполнение предиката 6.3.1 , подцель доказательства 6.3.1 , процесс 5.2 , список 3.2.2 , список задержанных подцелей 6.3.2 , фаза 5.2 , целевой параметр 4.1.3 . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01060303.html -- 4.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
564. Actor Prolog. Programming language definition.
... Задержанными подцелями называются подцели доказательства , исполнение которых было отложено механизмом задержки исполнения подцелей . ... Исполнение предложения включает : . Унификацию функтора и аргументов исполняемого вызова предиката с функтором и аргументами заголовка предложения или унификацию вызова предиката с метапеременной (если заголовком предложения является метапеременная ). ... Исполнение соответствующих подцелей доказательства . ... ИСПОЛНЕНИЕ ВЫЗОВА ПРЕДИКАТА . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01060302.html -- 9.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
565. Actor Prolog. Programming language definition.
Откатом называется возобновление исполнения процесса , начиная с последней (неустраненной оператором отсечения ) точки выбора . ... Ссылки: актор 7.1 , исполнение предложения 6.3.2 , исполнение процесса 5.2 , нейтрализация актора 7.1 , отсечение 8 , передача прямого сообщения 7.4.2 , переменная 2.1.1 , повторные доказательства 7.1 , предложение 6 , программа 4 , процесс 5.2 , прямые сообщения 7.4.2 , связывание 3.3 , состояние актора 7.1 , список задержанных подцелей 6.3.2 , сцепление переменных 3.3 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01060304.html -- 4.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
566. 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/koi8/01070301.html -- 4.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
567. Actor Prolog. Programming language definition.
Активизация актора (activation of actor) - перевод актора в активное состояние . Активизация порта (activation of port) - операции, осуществляемые в начале обработки потокового сообщения , пришедшего в процесс через порт : 1) Установка локального значения актора - представителя порта равным значению порта на момент начала рассматриваемой фазы исполнения процесса . ... Актор (actor) - подцель доказательства , соответствующая некоторому акторному вызову предиката . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030128.html -- 10.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
568. Actor Prolog. Programming language definition.
... Морозов А.А. Акторный Пролог // Программирование. ... С.153-156. ( http: // www.cplire.ru / Lab144 / obninsk.html ) . ... Препринт ИРЭ РАН 2(613). - 57с. ( http: // www.cplire.ru / Lab144 / index.html ) . ... С.42. ( http: // www.cplire.ru / Lab144 / report1.html ) . ... Morozov A.A. Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics // Proc. of IDL'99 workshop. Paris, France, September 27-28, 1999. ( http: // www.cplire.ru / Lab144 / paris.pdf ) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02005000.html -- 8.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
569. Actor Prolog. Programming language definition.
OS/2 Russian Coding (Alt) . ... появятся новые области применения логического программирования . ... Логическое программирование будет применяться для создания интеллектуальных агентов . Логическое программирование будет применяться для поиска и передачи информации в WWW . Логическое программирование будет применяться для управления распределенными системами реального времени . ... Логическое программирование будет применяться для управления виртуальной реальностью . ... The Actor Prolog . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/03010000.html -- 9.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
570. Actor Prolog. Programming language definition.
Экземпляр класса, мир (class instance, world) - конкретное применение класса ; составная часть пространства поиска исполняемой программы . Экземпляр класса характеризуется набором предложений соответствующего класса и его предков, а также набором слотов , доступных во всех этих предложениях . ... Элементарный программный модуль (basic program unit) - определение класса или определение проекта . Элемент данных (data item) - обозначенная группа данных, обрабатываемая как единое целое. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030157.html -- 3.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
571. Actor Prolog. Programming language definition.
Согласованием акторов процесса G называются действия, осуществляемые для обеспечения согласованности акторов процесса . ... Согласование акторов включает : . сопоставление локальных значений общих переменных акторов процесса ; . ... Ссылки: актор 7.1 , нейтрализация актора 7.1 , общие переменные 7.2 , повторные доказательства 7.1 , производные значения 7.2 , процесс 5.2 , согласованность акторов 7.2 , сопоставление локальных значений 7.3.1 . ... СОПОСТАВЛЕНИЕ ЛОКАЛЬНЫХ ЗНАЧЕНИЙ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01070300.html -- 3.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
572. Actor Prolog. Programming language definition.
Общая схема исполнения вызова предиката ( исполнения предиката ) включает следующие действия : . Выбор предложения , заголовок которого : . ... В случае исполнения вызова функции , запрещается выбирать предложения , заголовки которых не являются объявлениями функций . ... Если значением целевого параметра в дальнем вызове предиката является элемент данных , исполнение подцели осуществляется непосредственно в том мире , в котором исполняется рассматриваемое предложение . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01060301.html -- 12.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
573. Actor Prolog. Programming language definition.
Общие переменные создаются автоматически в составе значений слотов во время формирования экземпляров классов . При построении общих переменных выполняются следующие правила : . ... Ссылки: актор 7.1 , атрибут 4.1.1 , значение переменной 3.1 , значение слота 5.1 , инициализатор 4.1.2 , конструктор 4.1.3 , мир 5.1 , начальное значение слота 5.4.2 , общие переменные 7.2 , переменная 2.1.1 , построение слотов 5.4.2 , слот 5.1 , формирование миров 5.4.1 . ... ОБЩИЕ ПЕРЕМЕННЫЕ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01070201.html -- 4.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
574. My report about the Actor Prolog
В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/04020000.html -- 12.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
575. Автореферат диссертации А.А.Морозова
... Метод интерактивного функционального моделирования информационных систем и Акторный Пролог . ... Метод повторного доказательства подцелей логической программы, позволяющий интерпретировать в логическом языке интерактивный режим и разрушающее присваивание. ... Структурными семантическими моделями названы логические программы, описывающие каждый блок ФД информационной системы в виде некоторого объекта логического языка (точнее, экземпляра класса или "мира", в терминах Акторного Пролога). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/05000000.html -- 61.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
576. Автореферат диссертации А.А.Морозова
... М.: МетаТехнология, 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
Похожие документы
Похожие документы
577. Автореферат диссертации А.А.Морозова
... разделение И-дерева программы на акторы; . ... нейтрализация и повторное доказательство акторов. ... Таким образом, процесс доказательства каждого отдельного актора программы включает следующие фазы: . автономное доказательство актора; . ... нейтрализация акторов; . ... Если обнаруженные в процессе сопоставления локальных значений противоречия не удается устранить с помощью нейтрализации акторов, используется стандартный механизм отката, и программа возвращается на этап автономного доказательства. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/05010000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
578. Actor Prolog. Programming language definition.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/09010000.html -- 2.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
579. Actor Prolog. Programming language definition.
. Alt . KOI8 . 1251 . ??? ?€? . ?ўє?Юі?ґ?? . ??Ю??ґК . ??? . ?ґє??А . ?ў?ўИЛ
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/09010300.html -- 2.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
580. My Ph.D. thesis.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/09030000.html -- 2.3 Кб -- 24.09.2007
Похожие документы
Похожие документы