Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 501 - 520 из 2154.
Упорядочить по:
URL
|
дате изменения
501. Actor Prolog. Programming language definition.
Повторное доказательство акторов в Акторном Прологе автоматически поддерживает корректность логического вывода при использовании разрушающего присваивания и параллельных процессов . Ссылки: актор 7.1 , повторные доказательства 7.1 , процесс 5.2 , разрушающее присваивание 8.1 . Следующий: 7.1. АКТОРЫ . ... 7.1. ... СОГЛАСОВАНИЕ АКТОРОВ ПРОЦЕССА . ... СОГЛАСОВАНИЕ ПРОЦЕССОВ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01070000.html -- 2.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
502. Actor Prolog. Programming language definition.
Переменная - это имя, начинающееся с большой буквы или символа подчеркивания "_". переменная = большая_буква [ [ "_" ] буквы_и_цифры ] | буквы_и_цифры ] . Маленькие буквы в составе переменной заменяются соответствующими большими буквами , при этом все остальные графемы остаются без изменений. Полученная последовательность графем считается значением лексемы . ... Ссылки: большая буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , лексема 2.1 , маленькая буква 1 . ... ЛЕКСЕМЫ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020101.html -- 3.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
503. Actor Prolog. Programming language definition.
Лексемами являются : переменные , символы и ключевые слова , целые числовые литералы , вещественные числовые литералы , сегменты строк , ограничители . ... Ссылки: ключевое слово 2.1.2 , ограничитель 2.1.5 , переменная 2.1.1 , сегмент строки 2.1.4 , символ 2.1.2 , числовой литерал 2.1.3 . Следующий: 2.1.1. ПЕРЕМЕННЫЕ . ... 2.1.1. ... ЧИСЛОВЫЕ ЛИТЕРАЛЫ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020100.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
504. Actor Prolog. Programming language definition.
Ограничитель - это последовательность из одного или нескольких специальных символов , используемая в синтаксических конструкциях языка. В языке используются : . простые ограничители . составные ограничители . Значениями ограничителей считаются соответствующие цепочки графем . Ссылки: графема 1 , значение лексемы 2.1 , специальный символ 1 . ... Предыдущий: 2.1.4. ... 2.1. ЛЕКСЕМЫ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020105.html -- 2.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
505. Автореферат диссертации А.А.Морозова
... Метод интерактивного функционального моделирования информационных систем и Акторный Пролог . ... Метод повторного доказательства подцелей логической программы, позволяющий интерпретировать в логическом языке интерактивный режим и разрушающее присваивание. ... Структурными семантическими моделями названы логические программы, описывающие каждый блок ФД информационной системы в виде некоторого объекта логического языка (точнее, экземпляра класса или "мира", в терминах Акторного Пролога). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/05000000.html -- 61.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
506. Actor Prolog. Programming language definition.
Резидентом называется специальная активная сущность, отслеживающая состояния некоторых ( целевых ) процессов и передающая собранную информацию своему владельцу . ... Процесс , являющийся " владельцем " резидента . Атомарная формула ( вызов функции ), заданная в конструкторе резидента . ... Резидент взаимодействует со своим владельцем как некоторый процесс - с помощью переключающих потоковых сообщений , по правилам передачи потоковых сообщений , указанным в разделе 7.4.3 . ... Резидент | ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050300.html -- 16.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
507. РАПРОС '97
СЕМАНТИЧЕСКИЙ АНАЛИЗ ФУНКЦИОНАЛЬНЫХ ДИАГРАММ ИНФОРМАЦИОННЫХ СИСТЕМ СРЕДСТВАМИ ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ . ... В докладе рассказывается о разработке средств объектно-ориентированного логического программирования для семантического анализа функциональных диаграмм при интерактивном проектировании информационных систем. Функциональные диаграммы - это графические изображения проектируемых систем, состоящие из функциональных блоков и соединяющих их дуг. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/04030000.html -- 14.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
508. Actor Prolog. Programming language definition.
Конструктором называется утверждение о существовании экземпляра класса или резидента . В результате доказательства конструкторов происходит построение новых экземпляров классов и резидентов . Различаются конструкторы миров (а именно простые конструкторы и конструкторы процессов ), а также конструкторы резидентов . ... конструктор_процесса . ... Аргументы конструктора мира определяют значения слотов соответствующего экземпляра класса ( значения слотов процесса ). ... КЛАССЫ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01040103.html -- 8.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
509. My report about the Actor Prolog
В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/04020000.html -- 12.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
510. Our report in Obninsk
Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/04010000.html -- 11.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
511. Автореферат диссертации А.А.Морозова
... М.: МетаТехнология, 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/koi8/05000100.html -- 4.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
512. Actor Prolog. Programming language definition.
В каждый конкретный момент времени процесс находится в одном из трех состояний : . ... Состояние " неиспользуемый " характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Переход процесса в состояние " неиспользуемый " называется " отключением " процесса . ... При переходе из состояния " неиспользуемый " в состояние " используемый ", процесс всегда оказывается в том конкретном состоянии , в котором он находился до перехода в состояние " неиспользуемый ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050201.html -- 13.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
513. My Ph.D. thesis.
. Alt . KOI8 . 1251 . ИРЭ РАН . Actor Prolog . Помощь
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/09030300.html -- 2.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
514. My Ph.D. thesis.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/09030000.html -- 2.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
515. 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
Похожие документы
Похожие документы
516. Actor Prolog. Programming language definition.
В общем случае, термы языка могут обозначать : . ... значения лексем "переменная" (если речь идет о несвязанных переменных ). терм = простой_терм | составной_терм | ... В качестве функторов составных термов и атомарных формул используются символы и метапеременные ( метафункторы ) : функтор = символ | ... Метапеременными , называются переменные , используемые в качестве функторов и символов . Метапеременные , используемые в качестве функторов , называются метафункторами . ... Следующий: 3.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01030000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
517. Actor Prolog. Programming language definition.
Комментарием является последовательность графических и управляющих символов , начинающаяся с открывающей скобки комментария и заканчивающаяся закрывающей скобкой; комментариям разных типов соответствуют разные скобки. Открывающая скобка не является началом комментария , если ее графические символы входят в состав лексемы или другого комментария . ... Однострочный комментарий : открывающая скобка - два соседних дефиса; закрывающая - любой управляющий символ , отличный от горизонтальной табуляции. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020200.html -- 3.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
518. Actor Prolog. Programming language definition.
Логические правила (" предложения ") состоят из заголовка и последовательности (возможно, пустой) подцелей . Предложения , в составе которых нет подцелей , называются " фактами ". предложение = атом [ ":-" конъюнкция ] "." конъюнкция = [ конъюнкция "," ] подцель . ... Ссылки: атом 6.1 , атрибут 4.1.1 , класс 4.1 , метапеременная 3 , объявление функции 6.1.3 , переменная 2.1.1 , подцель 6.2 , подцель предложения 6.2 , символ 2.1.2 , терм или выражение 3.2.1 , функция 6.1.3 . Следующий: 6.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01060000.html -- 6.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
519. Actor Prolog. Programming language definition.
Построение пространства поиска осуществляется в результате доказательства конструкторов экземпляров классов и реализуется посредством построения новых экземпляров классов . Последовательность действий, создающих пространство поиска и слоты отдельного экземпляра класса , называется " формированием " экземпляра класса . ... Этапы формирования экземпляра класса и доказательства предикатов goal не зависят друг от друга и относятся к разным этапам построения процесса . ... Следующий: 5.4.1. ... 5.4.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050400.html -- 5.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
520. Actor Prolog. Programming language definition.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/09010000.html -- 2.1 Кб -- 24.09.2007
Похожие документы
Похожие документы