Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 1161 - 1180 из 2154.
Упорядочить по:
URL
|
дате изменения
1161. Actor Prolog. Programming language definition.
. (Данное приложение не является частью определения языка.) . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02001000.html -- 1.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1162. Actor Prolog. Programming language definition.
... буквы_и_цифры = [ буквы_и_цифры [ "_" ] ] буква_или_цифра . ... буквы_и_цифры ] . ... структура = функтор "(" термы_и_выражения ")" . термы_и_выражения = [ термы_и_выражения "," ] терм_или_выражение . ... заголовок_класса = имя_класса [ specializing имя_класса ] . ... конструктор_резидента = [ параметр_или_конструктор ] "??" простой_атом . ... атом = простой_атом | ... простой_атом = функтор [ "(" [ термы_и_выражения [ "*" ] ] ")" ] | ... объявление_функции = простой_атом "=" терм_или_выражение . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02001010.html -- 24.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
1163. Actor Prolog. Programming language definition.
... Метапеременные разрешается использовать в качестве функторов только в составе предложений и только при условии, что такой же метафунктор является именем предиката в заголовке рассматриваемого предложения . ... Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02001020.html -- 20.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
1164. Actor Prolog. Programming language definition.
1 буквы_и_цифры .................................... 1 буква_e (e) .......................................... 2.1.3 порядок .......................................... 2.1.3 буквы_и_цифры (letters_and_digits) ................... 1 переменная ....................................... 2.1.1 простой_символ ................................... 2.1.2 расширенное_число ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02001030.html -- 29.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1165. Actor Prolog. Programming language definition.
... Максимальная относительная погрешность вещественных чисел . ... Диапазон допустимых значений числовых литералов , используемых в качестве кодов в строковых литералах . Диапазон допустимых целых чисел . Диапазон допустимых вещественных чисел . Битовое представление отрицательных чисел. ... Поддержка совместной, раздельной трансляции исходных файлов , или обоих способов трансляции. Поддержка автоматической трансляции пакетов , указанных в командах импорта в составе других пакетов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02002000.html -- 4.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1166. Actor Prolog. Programming language definition.
... Активный процесс . ... Актуализация производных значений . Актуальное значение переменной . ... Глобальное значение переменной . ... Доказанный процесс . ... Защищенное сообщение . ... Значение переменной . ... Значение потокового сообщения . ... Инициализация процесса . ... Исполнение процесса . ... Используемый процесс . ... Конструктор процесса . ... Локальное значение общей переменной . ... Освобождение общих переменных процессом . ... Производное значение общей переменной процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02003000.html -- 18.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1167. 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/1251/02004000.html -- 47.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1168. 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/1251/02005000.html -- 8.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1169. Actor Prolog. Programming language definition.
Активизация актора (activation of actor) - перевод актора в активное состояние . Активизация порта (activation of port) - операции, осуществляемые в начале обработки потокового сообщения , пришедшего в процесс через порт : 1) Установка локального значения актора - представителя порта равным значению порта на момент начала рассматриваемой фазы исполнения процесса . ... Актор (actor) - подцель доказательства , соответствующая некоторому акторному вызову предиката . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030128.html -- 10.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
1170. Actor Prolog. Programming language definition.
Библиотечный модуль (library unit) - элементарный программный модуль ( определение класса или определение проекта ), записанный в программную библиотеку в результате трансляции. ... Ближний вызов предиката (near call of predicate) - вызов предиката , в котором не указан явно мир , где этот вызов должен быть исполнен . Ближний вызов исполняется в том же самом мире , в котором исполняется предложение , содержащее данный вызов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030129.html -- 3.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
1171. Actor Prolog. Programming language definition.
... ходе доказательства актора P. Вложенные миры (nested worlds) - Мир B называется вложенным по отношению к миру A, если конструктор мира B является инициализатором слота мира A или какого - либо мира E, вложенного по отношению к A. Встроенный предикат (built - in predicate) - предикат , являющийся составной частью определения языка ... Вызов функции (call of function) - синтаксическая конструкция, имитирующая вызов подпрограммы - функции, возвращающей некоторое значение - терм . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030130.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1172. Actor Prolog. Programming language definition.
Глобальное значение переменной (global value of variable) - некоторый терм , поставленный в соответствие общей переменной , используемой для передачи потоковых сообщений между процессами , единый для всех этих процессов . Текущему глобальному значению переменной соответствуют сорт и производитель . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030131.html -- 3.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
1173. Actor Prolog. Programming language definition.
... Доказанный актор (proven actor) - одно из возможных состояний актора - актор , доказательство которого завершилось успехом на одной из фаз F исполнения процесса G и в данный момент не отменено . ... Доказательство актора - 1. (proving of actor) исполнение (первое или повторное ) акторного вызова предиката ; 2. (proof of actor) результаты успешного исполнения актора (в том числе, возможно, точки выбора и значения переменных ), включая результаты доказательства вложенных по отношению к нему акторов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030132.html -- 5.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
1174. Actor Prolog. Programming language definition.
... Задерживающее значение (suspending value) - значение потокового сообщения , переменной или порта , равное спейсеру # или несвязанной переменной (в том числе, пустому значению ). ... Значение переменной (value of variable) - 1. ... Значение потокового сообщения (value of flow message) - некоторое значение терма . ... Значение терма (value of term) - элемент данных , мир , спейсер или, если терм является несвязанной переменной , значение лексемы " переменная ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030135.html -- 8.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
1175. Actor Prolog. Programming language definition.
... Инициализация процесса (initialization of process) - фаза исполнения процесса , перед началом которой он находился в состоянии " сформированный ". ... Общая схема исполнения предиката включает : 1) Выбор предложения с подходящим заголовком . ... 3) Исполнение соответствующих подцелей доказательства . ... Исполнение программы начинается с доказательства конструктора процесса , заданного в определении проекта , а также формирования процесса , построенного в результате доказательства этого конструктора...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030136.html -- 14.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1176. Actor Prolog. Programming language definition.
... Конструктор (constructor) - утверждение о существовании экземпляра класса или резидента ; в результате доказательства конструкторов происходит построение новых экземпляров классов и резидентов . Различаются конструкторы миров (а именно простые конструкторы и конструкторы процессов ) и конструкторы резидентов . Конструктор мира (constructor of world) - простой конструктор или конструктор процесса . ... Доказательство конструктора процесса приводит к созданию нового процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030138.html -- 4.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
1177. Actor Prolog. Programming language definition.
... Лексемами являются : переменные , символы и ключевые слова , целые числовые литералы , вещественные числовые литералы , сегменты строк , ограничители . Локальное значение общей переменной (local value of common variable) - значение общей переменной , соответствующее некоторому конкретному актору . В Акторном Прологе каждый актор хранит свои собственные ( локальные ) значения общих переменных . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030139.html -- 2.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1178. Actor Prolog. Programming language definition.
... Метапеременная (metavariable) - переменная , обозначающая предикат (в этом случае метапеременная является метапредикатом ), функтор (в этом случае она является метафунктором ) или список аргументов предиката с переменным числом аргументов . Метапредикат (metapredicate) - предикат переменной арности , метапеременная , используемая в качестве атома или атом , в качестве функтора которого используется метапеременная . ... Метафунктор (metafunctor) - переменная , используемая в качестве функтора . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030140.html -- 4.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
1179. Actor Prolog. Programming language definition.
... Незащищенное сообщение (unprotected message) - потоковое сообщение , не являющееся защищенным . Неиспользуемый процесс (unused process) - одно из возможных состояний процесса - характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Несогласованный порт (inconsistent port) - одно из двух возможных состояний порта процесса - порт становится " несогласованным ", когда процесс получает через него потоковое сообщение . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030141.html -- 9.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
1180. Actor Prolog. Programming language definition.
... Обработка сообщения (processing of message) - фаза исполнения процесса - действия, осуществляемые процессом в случае получения сообщения . ... Описатель порта (declarator of port) - ключевое слово , с помощью которого задается сорт порта . Описателями портов служат ключевые слова " suspending " и " protecting ", обозначающие " отключающий " и " защищающий " соответственно. ... Поступление отключающего потокового сообщения на любой отключающий порт процесса вызывает отключение этого процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030142.html -- 10.5 Кб -- 24.09.2007
Похожие документы
Похожие документы