Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 541 - 560 из 2154.
Упорядочить по:
URL
|
дате изменения
541. 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/koi8/02030130.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
542. Actor Prolog. Programming language definition.
Недоопределенное множество - это составной терм , построенный из набора (возможно, пустого) элементов , заключенного в фигурные скобки. ... Если недоопределенное множество используется в составе определения класса , то имена элементов множества , совпадающие с атрибутами этого класса , должны быть символами в апострофах . ... недоопределенное_множество = [ простой_терм ] "{" элементы_и_хвост_множества "}" элементы_и_хвост_множества = [ элементы_множества ] [ "|" хвост ] . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01030203.html -- 12.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
543. Actor Prolog. Programming language definition.
... Конструктор (constructor) - утверждение о существовании экземпляра класса или резидента ; в результате доказательства конструкторов происходит построение новых экземпляров классов и резидентов . Различаются конструкторы миров (а именно простые конструкторы и конструкторы процессов ) и конструкторы резидентов . Конструктор мира (constructor of world) - простой конструктор или конструктор процесса . ... Доказательство конструктора процесса приводит к созданию нового процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030138.html -- 4.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
544. 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
Похожие документы
Похожие документы
545. Actor Prolog. Programming language definition.
... Метапеременная (metavariable) - переменная , обозначающая предикат (в этом случае метапеременная является метапредикатом ), функтор (в этом случае она является метафунктором ) или список аргументов предиката с переменным числом аргументов . Метапредикат (metapredicate) - предикат переменной арности , метапеременная , используемая в качестве атома или атом , в качестве функтора которого используется метапеременная . ... Метафунктор (metafunctor) - переменная , используемая в качестве функтора . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030140.html -- 4.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
546. Actor Prolog. Programming language definition.
. Инициализатором слота называется синтаксическая конструкция, определяющая начальное значение слота : инициализатор = терм | конструктор . Ссылки: конструктор 4.1.3 , начальное значение слота 5.4.2 , слот 5.1 , терм 3 . Следующий: 4.1.3. КОНСТРУКТОРЫ . Предыдущий: 4.1.1. АТРИБУТЫ КЛАССОВ . 4.1. КЛАССЫ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01040102.html -- 2.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
547. Actor Prolog. Programming language definition.
... Обработка сообщения (processing of message) - фаза исполнения процесса - действия, осуществляемые процессом в случае получения сообщения . ... Описатель порта (declarator of port) - ключевое слово , с помощью которого задается сорт порта . Описателями портов служат ключевые слова " suspending " и " protecting ", обозначающие " отключающий " и " защищающий " соответственно. ... Поступление отключающего потокового сообщения на любой отключающий порт процесса вызывает отключение этого процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030142.html -- 10.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
548. Actor Prolog. Programming language definition.
... Незащищенное сообщение (unprotected message) - потоковое сообщение , не являющееся защищенным . Неиспользуемый процесс (unused process) - одно из возможных состояний процесса - характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Несогласованный порт (inconsistent port) - одно из двух возможных состояний порта процесса - порт становится " несогласованным ", когда процесс получает через него потоковое сообщение . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030141.html -- 9.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
549. 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
Похожие документы
Похожие документы
550. Actor Prolog. Programming language definition.
. Составными частями пространства поиска служат экземпляры классов . В общем случае, пространство поиска развертывается динамически, в ходе исполнения программы . Ссылки: исполнение программы 4 , мир 5.1 . Следующий: 5.1. ЭКЗЕМПЛЯРЫ КЛАССОВ . Предыдущий: 4.4. ТРАНСЛЯЦИЯ ИСХОДНЫХ ФАЙЛОВ . 5.1. ЭКЗЕМПЛЯРЫ КЛАССОВ . 5.2. ПРОЦЕССЫ . 5.3. РЕЗИДЕНТЫ . 5.4. ПОСТРОЕНИЕ ПРОСТРАНСТВА ПОИСКА . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050000.html -- 2.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
551. Actor Prolog. Programming language definition.
Исходные файлы программы могут транслироваться отдельно друг от друга или совместно (конкретная реализация языка может поддерживать один из указанных способов или оба способа трансляции). ... Ссылки: атрибут 4.1.1 , иерархия наследования 4.1 , исполнение программы 4 , класс 4.1 , команда импорта 4.3 , пакет 4.3 , предложение 6 , программа 4 , проект 4.2 , class 2.1.2 , goal 5.4.1 , package 2.1.2 , project 2.1.2 , specializing 2.1.2 . ... ПАКЕТЫ . ... СТРУКТУРА ПРОГРАММЫ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01040400.html -- 7.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
552. Actor Prolog. Programming language definition.
Экземпляр класса (" мир ") - это конкретное применение класса . В состав экземпляра класса входят : . ... Мир B называется вложенным по отношению к миру A, если конструктор мира B является инициализатором некоторого слота мира A или какого - либо мира E, вложенного по отношению к A. Экземпляр класса 'CHERRY' содержит предложения colour и taste, определенные в классах 'CHERRY' и 'FRUIT'. class 'FRUIT' : [ taste('sweet'). taste('sour'). ] class 'CHERRY' specializing 'FRUIT' : [ colour('red'). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050100.html -- 4.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
553. Actor Prolog. Programming language definition.
... Доказательство ( исполнение ) конструктора процесса приводит к построению нового процесса . ... Исполнение конструктора процесса не приводит к построению пространства поиска созданного процесса . ... Доказательство ( исполнение ) конструктора резидента приводит к построению нового резидента . ... Переменная , созданная в качестве начального значения слота процесса - владельца , инициализатором которого является конструктор резидента (см. раздел 5.4.2 ), объявляется защищающим портом резидента . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050401.html -- 9.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
554. Actor Prolog. Programming language definition.
Фаза исполнения процесса (phase of execution of process) - законченный период исполнения процесса , соответствующий обработке процессом некоторого сообщения или изменению состояния процесса . После успешного окончания фазы исполнения процесса осуществляется фиксирование процесса . Факт (fact) - предложение , в составе которого отсутствуют подцели . ... Фиксирование терма (fixation of term) - заменена спейсером # всех несвязанных переменных в составе терма . ... 2) Определение портов процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030148.html -- 7.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
555. Actor Prolog. Programming language definition.
Унификация (unification) - операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Унифицировать, ' == ' (unify) - предопределенный предикат языка, вызывающий унификацию заданных аргументов . ... Управляющий символ (control character) - элемент набора символов ASCII - возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата или возврат каретки. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030147.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
556. 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
Похожие документы
Похожие документы
557. Actor Prolog. Programming language definition.
... Каждый актор хранит свои собственные (" локальные ") значения общих переменных . Актуальными значениями общих переменных некоторого процесса называются значения , которые можно получить, унифицировав локальные значения всех общих переменных , соответствующих активным акторам этого процесса . ... Таким образом, локальные значения общих переменных любого активного актора процесса всегда равны актуальным значениям общих переменных этого процесса . ... ПОСТРОЕНИЕ ОБЩИХ ПЕРЕМЕННЫХ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01070200.html -- 13.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
558. Actor Prolog. Programming language definition.
... Доказанный актор (proven actor) - одно из возможных состояний актора - актор , доказательство которого завершилось успехом на одной из фаз F исполнения процесса G и в данный момент не отменено . ... Доказательство актора - 1. (proving of actor) исполнение (первое или повторное ) акторного вызова предиката ; 2. (proof of actor) результаты успешного исполнения актора (в том числе, возможно, точки выбора и значения переменных ), включая результаты доказательства вложенных по отношению к нему акторов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030132.html -- 5.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
559. Actor Prolog. Programming language definition.
Библиотечный модуль (library unit) - элементарный программный модуль ( определение класса или определение проекта ), записанный в программную библиотеку в результате трансляции. ... Ближний вызов предиката (near call of predicate) - вызов предиката , в котором не указан явно мир , где этот вызов должен быть исполнен . Ближний вызов исполняется в том же самом мире , в котором исполняется предложение , содержащее данный вызов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030129.html -- 3.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
560. Actor Prolog. Programming language definition.
... Таким образом, имена классов , используемые внутри пакета , не видны из других пакетов до тех пор, пока не будут импортированы в эти пакеты явным образом, с помощью команд импорта. ... В общем случае, каждый пакет включает заголовок пакета , команды импорта , а также произвольное количество классов и (возможно) целевое утверждение ( проект ) : пакет = [ заголовок_пакета ] команды_импорта программа заголовок_пакета = package имя_пакета ":" имя_пакета = строковый_литерал . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01040300.html -- 10.2 Кб -- 24.09.2007
Похожие документы
Похожие документы