Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 521 - 540 из 2154.
Упорядочить по:
URL
|
дате изменения
521. 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
Похожие документы
Похожие документы
522. Actor Prolog. Programming language definition.
... Таким образом, имена классов , используемые внутри пакета , не видны из других пакетов до тех пор, пока не будут импортированы в эти пакеты явным образом, с помощью команд импорта. ... В общем случае, каждый пакет включает заголовок пакета , команды импорта , а также произвольное количество классов и (возможно) целевое утверждение ( проект ) : пакет = [ заголовок_пакета ] команды_импорта программа заголовок_пакета = package имя_пакета ":" имя_пакета = строковый_литерал . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01040300.html -- 10.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
523. Actor Prolog. Programming language definition.
В каждый конкретный момент времени процесс находится в одном из трех состояний : . ... Состояние " неиспользуемый " характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Переход процесса в состояние " неиспользуемый " называется " отключением " процесса . ... При переходе из состояния " неиспользуемый " в состояние " используемый ", процесс всегда оказывается в том конкретном состоянии , в котором он находился до перехода в состояние " неиспользуемый ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050201.html -- 13.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
524. 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
Похожие документы
Похожие документы
525. Actor Prolog. Programming language definition.
... В случае если последовательность аргументов списка не является пустой, в его состав может быть включен дополнительный компонент, обозначающий остаток ( хвост ) списка : список = "[" [ термы_и_выражения [ "|" хвост ] ] "]" хвост = параметр | ... Значением пустого списка [] является специальная константа . empty_list. Значением списка [A1,A2,.. An|Rest] является кортеж . list,A1, < list,A2,... < list,An,Rest > ... > > , где list - специальная константа, Rest - хвост списка . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01030202.html -- 4.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
526. Actor Prolog. Programming language definition.
Акторный Пролог - объектно - ориентированный логический язык, предназначенный для программирования информационных систем, функционирующих в динамическом внешнем окружении (интеллектуальных агентов Интернет, систем интерактивного проектирования и др.) ... Доказательство логических акторов (далее - просто " акторов ") осуществляется в объектно - ориентированном пространстве поиска, топология которого соответствует структуре системы. ... Различаются "минимальная", "быстрая" и "максимальная" версии языка. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01000000.html -- 6.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
527. Actor Prolog. Programming language definition.
Актуализацией производных значений общих переменных процесса G называется унификация локальных значений общих переменных (всех) активных акторов процесса G с соответствующими им производными значениями этого процесса . ... Предположим, что некоторому процессу G принадлежит доказанный актор goal , которому соответствует локальное значение общей переменной x = 100. goal :- subgoal_a(x). subgoal_a(100). subgoal_b :- [x], write("Shared Data = ",x). ... Shared Data = 100 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01080200.html -- 5.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
528. 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/koi8/01080100.html -- 7.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
529. Actor Prolog. Programming language definition.
Простой терм - это элементарная синтаксическая конструкция, обозначающая данные и миры . Простыми термами являются константы ( символ , целое число , вещественное число , строковый литерал , спейсер #, метапеременная , обозначающая терм в метапредложении ), а также параметры : простой_терм = константа | ... числовой_литерал | строковый_литерал | метапеременная . ... параметр = переменная | ... Значением связанной переменной считается соответствующий элемент данных , мир или спейсер . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01030100.html -- 8.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
530. Actor Prolog. Programming language definition.
Символ - это имя, начинающееся с маленькой буквы или заключенное в апострофы. ... символ_в_апострофах простой_символ = маленькая_буква [ [ "_" ] буквы_и_цифры ] символ_в_апострофах = "'" { графема } "'" . ... Если апострофы не используются, значение символа не должно совпадать с ключевыми словами языка. ... Ссылки: большая буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , маленькая буква 1 , простой символ 2.1.2 , символ в апострофах 2.1.2 . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020102.html -- 5.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
531. 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
Похожие документы
Похожие документы
532. Actor Prolog. Programming language definition.
Числовой литерал - это лексема , обозначающая числовое значение : числовой_литерал = расширенное_число [ порядок ] | цифры "#" расширенное_число "#" [ порядок ] | ... Для получения значения числового литерала с порядком необходимо умножить значение числового литерала без порядка на основание, возведенное в указанную порядком степень. ... Ссылки: буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , лексема 2.1 , управляющий символ 1 , цифра 1 , числовой литерал 2.1.3 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020103.html -- 6.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
533. 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/koi8/01030200.html -- 3.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
534. Actor Prolog. Programming language definition.
... Активный процесс . ... Актуализация производных значений . Актуальное значение переменной . ... Глобальное значение переменной . ... Доказанный процесс . ... Защищенное сообщение . ... Значение переменной . ... Значение потокового сообщения . ... Инициализация процесса . ... Исполнение процесса . ... Используемый процесс . ... Конструктор процесса . ... Локальное значение общей переменной . ... Освобождение общих переменных процессом . ... Производное значение общей переменной процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02003000.html -- 18.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
535. Actor Prolog. Programming language definition.
... Максимальная относительная погрешность вещественных чисел . ... Диапазон допустимых значений числовых литералов , используемых в качестве кодов в строковых литералах . Диапазон допустимых целых чисел . Диапазон допустимых вещественных чисел . Битовое представление отрицательных чисел. ... Поддержка совместной, раздельной трансляции исходных файлов , или обоих способов трансляции. Поддержка автоматической трансляции пакетов , указанных в командах импорта в составе других пакетов . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02002000.html -- 4.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
536. Actor Prolog. Programming language definition.
Резидентом называется специальная активная сущность, отслеживающая состояния некоторых ( целевых ) процессов и передающая собранную информацию своему владельцу . ... Процесс , являющийся " владельцем " резидента . Атомарная формула ( вызов функции ), заданная в конструкторе резидента . ... Резидент взаимодействует со своим владельцем как некоторый процесс - с помощью переключающих потоковых сообщений , по правилам передачи потоковых сообщений , указанным в разделе 7.4.3 . ... Резидент | ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050300.html -- 16.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
537. Actor Prolog. Programming language definition.
Переменные процесса G, которые могут принадлежать акторам других процессов , называются портами процесса G. В ходе исполнения программы каждому порту процесса ставятся в соответствие : . Сорт порта : простой , отключающий или защищающий . ... Производитель текущего значения порта - процесс , построивший текущее значение порта . ... Значения всех незащищенных сообщений , принимаемых процессом через защищающий порт игнорируются в ходе обработки этих сообщений ( активизация порта не осуществляется). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01050202.html -- 15.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
538. Actor Prolog. Programming language definition.
Согласованием процессов называются действия, осуществляемые для обеспечения согласованности процессов . Согласование процессов происходит с помощью обмена асинхронными сообщениями . Сообщением называется некоторое количество информации, передаваемое между процессами , представляющее для них единое целое. ... Обработка сообщения является отдельной фазой исполнения процесса . ... Ссылки: исполнение процесса 5.2 , процесс 5.2 , согласованность процессов 5.2 , фаза 5.2 . ... ПРЯМЫЕ СООБЩЕНИЯ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01070400.html -- 4.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
539. 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
Похожие документы
Похожие документы
540. 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
Похожие документы
Похожие документы