Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 661 - 680 из 2154.
Упорядочить по:
URL
|
дате изменения
661. Actor Prolog. Programming language definition.
Составными термами являются структуры , списки и недоопределенные множества : составной_терм = структура | список | ... Ссылки: значение терма 3 , недоопределенное множество 3.2.3 , составной терм 3.2 , список 3.2.2 , структура 3.2.1 , терм 3 . Следующий: 3.2.1. СТРУКТУРЫ . ... 3.2.1. ... СПИСКИ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01030200.html -- 3.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
662. Actor Prolog. Programming language definition.
Унификацией называется операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Кроме того, унификация термов может быть вызвана явно с помощью встроенного предиката " унифицировать термы " : . ... Унификация несвязанной переменной с константой , составным термом или миром вызывает " связывание " этой переменной - замену всех вхождений этой переменной соответствующим элементом данных или миром . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01030300.html -- 10.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
663. 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/alt/01040102.html -- 2.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
664. Actor Prolog. Programming language definition.
В каждый конкретный момент времени процесс находится в одном из трех состояний : . ... Состояние " неиспользуемый " характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Переход процесса в состояние " неиспользуемый " называется " отключением " процесса . ... При переходе из состояния " неиспользуемый " в состояние " используемый ", процесс всегда оказывается в том конкретном состоянии , в котором он находился до перехода в состояние " неиспользуемый ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01050201.html -- 13.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
665. Actor Prolog. Programming language definition.
... Доказательство ( исполнение ) конструктора процесса приводит к построению нового процесса . ... Исполнение конструктора процесса не приводит к построению пространства поиска созданного процесса . ... Доказательство ( исполнение ) конструктора резидента приводит к построению нового резидента . ... Переменная , созданная в качестве начального значения слота процесса - владельца , инициализатором которого является конструктор резидента (см. раздел 5.4.2 ), объявляется защищающим портом резидента . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01050401.html -- 9.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
666. Actor Prolog. Programming language definition.
Простой атом - это функтор с соответствующим количеством аргументов , недоопределенное множество или переменная : простой_атом = функтор [ "(" [ термы_и_выражения [ "*" ] ] ")" ] | ... В этом случае атомарная формула обозначает предикат с переменным числом аргументов (" предикат переменной арности "), а помеченная переменная - список аргументов , не определенных явно в составе атомарной формулы . ... P{is_even : 'any'|Rest} :- P{is_even : 'yes'|Rest}, P{is_even : 'no'|Rest}. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01060101.html -- 7.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
667. Actor Prolog. Programming language definition.
... Задержанными подцелями называются подцели доказательства , исполнение которых было отложено механизмом задержки исполнения подцелей . ... Исполнение предложения включает : . Унификацию функтора и аргументов исполняемого вызова предиката с функтором и аргументами заголовка предложения или унификацию вызова предиката с метапеременной (если заголовком предложения является метапеременная ). ... Исполнение соответствующих подцелей доказательства . ... ИСПОЛНЕНИЕ ВЫЗОВА ПРЕДИКАТА . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01060302.html -- 9.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
668. Actor Prolog. Programming language definition.
Актором называется подцель доказательства , соответствующая акторному вызову предиката . Актор Q называется " вложенным " по отношению к актору P, если эти акторы принадлежат одному процессу , и доказательство актора Q, результаты которого в данный момент не отменены, происходит (произошло) в ходе доказательства актора P. Нейтрализацией актора называется отмена всех результатов его доказательства , за исключением результатов доказательства вложенных по отношению к нему акторов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/01070100.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
669. 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
Похожие документы
Похожие документы
670. 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
Похожие документы
Похожие документы
671. Actor Prolog. Programming language definition.
... Метапеременные разрешается использовать в качестве функторов только в составе предложений и только при условии, что такой же метафунктор является именем предиката в заголовке рассматриваемого предложения . ... Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02001020.html -- 20.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
672. 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
Похожие документы
Похожие документы
673. Actor Prolog. Programming language definition.
... Инициализация процесса (initialization of process) - фаза исполнения процесса , перед началом которой он находился в состоянии " сформированный ". ... Общая схема исполнения предиката включает : 1) Выбор предложения с подходящим заголовком . ... 3) Исполнение соответствующих подцелей доказательства . ... Исполнение программы начинается с доказательства конструктора процесса , заданного в определении проекта , а также формирования процесса , построенного в результате доказательства этого конструктора...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030136.html -- 14.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
674. Actor Prolog. Programming language definition.
... Незащищенное сообщение (unprotected message) - потоковое сообщение , не являющееся защищенным . Неиспользуемый процесс (unused process) - одно из возможных состояний процесса - характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Несогласованный порт (inconsistent port) - одно из двух возможных состояний порта процесса - порт становится " несогласованным ", когда процесс получает через него потоковое сообщение . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02030141.html -- 9.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
675. 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
Похожие документы
Похожие документы
676. 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
Похожие документы
Похожие документы
677. My report about the Actor Prolog
В настоящее время в логическом программировании можно выделить две тенденции, два подхода, которых часто придерживаются исследователи. ... Второй подход можно назвать "прагматическим". ... В результате было создано большое количество языков (например, Prolog++, LogTalk и др.), которые логическими уже не являются (так как их идеология, парадигма программирования существенным образом опираются на нелогические средства), но при этом "настоящими" объектно-ориентированными языками так и не стали. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/04020000.html -- 12.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
678. Actor Prolog. Programming language definition.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/09010000.html -- 2.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
679. Getting Started in Actor Prolog. Residents.
Резидентами в Акторном Прологе называется специальный механизм, который помогает одним процессам следить за состоянием других. ... Для передачи списка решений резидент использует механизм потоковых сообщений. ... An example of Actor Prolog program. -- -- (c) 2002, Alexei A. Morozov, IRE RAS. ... Считается, что резидент посылает данные через некоторый защищающий порт. class 'R1': -- p1 = (( 'Target' )) ; p2 = (( 'Observer', data= p1 ?? f ( 1 , 2 , 3 , 4 ) )) ; -- [ goal. ... Работа резидента. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/start/r_reside.html -- 14.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
680. Getting Started in Actor Prolog. Internet Agents.
Одной из основных областей применения Акторного Пролога являются исследование и разработка так называемых агентов Интернет. ... An example of Actor Prolog program. -- -- (c) 2002, Alexei A. Morozov, IRE RAS. ... Слот location содержит адрес ресурса Интернет. ... Слот revision_period содержит интервал времени, в течение которого Акторный Пролог обязан выявить возможное изменение указанного ресурса Интернет в будущем. ... write_parameters ( entry ( URL , D , T , _ , S )) :- w1 ? ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/start/r_web.html -- 83.1 Кб -- 24.09.2007
Похожие документы
Похожие документы