Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 1 - 20 из 2154.
Упорядочить по:
URL
|
дате изменения
1. Institute of Radio-engineering and Electronics of RAS.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/ -- 2.2 Кб -- 22.03.2016
[ Сохраненная копия ] Ссылки http://www.cplire.ru/index.html -- 2.2 Кб -- 22.03.2016
Похожие документы
[ Сохраненная копия ] Ссылки http://www.cplire.ru/index.html -- 2.2 Кб -- 22.03.2016
Похожие документы
2. Actor Prolog. Programming language definition.
. Back to Research Divisions . IRE RAS Homepage .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/ -- 7.2 Кб -- 21.03.2016
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/index.html -- 7.2 Кб -- 21.03.2016
Похожие документы
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/index.html -- 7.2 Кб -- 21.03.2016
Похожие документы
3. Actor Prolog. Programming language definition.
... Алфавит языка . ... Списки . ... Классы . ... Атрибуты классов . ... Экземпляры классов . ... Исполнение конструкторов . ... Предложения классов . ... Исполнение вызова предиката . ... Исполнение предложения . ... Механизм задержки исполнения . ... Исполнение повторных доказательств . ... Приложение 1. ... Синтаксические правила языка . ... Список понятий языка . ... В настоящее время работа над определением языка продолжается (см. список исправлений и примечаний к определению языка ). ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/00000000.html -- 9.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
4. Actor Prolog. Programming language definition.
Акторный Пролог - объектно - ориентированный логический язык, предназначенный для программирования информационных систем, функционирующих в динамическом внешнем окружении (интеллектуальных агентов Интернет, систем интерактивного проектирования и др.) ... Доказательство логических акторов (далее - просто " акторов ") осуществляется в объектно - ориентированном пространстве поиска, топология которого соответствует структуре системы. ... Различаются "минимальная", "быстрая" и "максимальная" версии языка. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01000000.html -- 6.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
5. Actor Prolog. Programming language definition.
В качестве алфавита языка используется набор символов ASCII, при этом различаются графические символы ( графемы ), имеющие визуальное представление в виде отпечатанного знака или пробела, и управляющие символы : возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата и возврат каретки. Минимальный набор графических символов , достаточный для определения языка, включает буквы , цифры , символ пробела и специальные символы . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01010000.html -- 4.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
6. Actor Prolog. Programming language definition.
Текст программы рассматривается как последовательность лексем и разделителей . Разделителями являются комментарии , а также пробелы и управляющие символы , не входящие в состав лексем и комментариев . ... Фрагмент текста " :- " не является лексемой , если он расположен между лексемами "{" и "}", составляющими пару "открывающая скобка - закрывающая скобка". ... Ссылки: графема 1 , комментарий 2.2 , лексема 2.1 , ограничитель 2.1.5 , программа 4 , управляющий символ 1 , числовой литерал 2.1.3 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020000.html -- 4.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
7. 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/1251/01020100.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
8. Actor Prolog. Programming language definition.
Переменная - это имя, начинающееся с большой буквы или символа подчеркивания "_". переменная = большая_буква [ [ "_" ] буквы_и_цифры ] | буквы_и_цифры ] . Маленькие буквы в составе переменной заменяются соответствующими большими буквами , при этом все остальные графемы остаются без изменений. Полученная последовательность графем считается значением лексемы . ... Ссылки: большая буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , лексема 2.1 , маленькая буква 1 . ... ЛЕКСЕМЫ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020101.html -- 3.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
9. Actor Prolog. Programming language definition.
Символ - это имя, начинающееся с маленькой буквы или заключенное в апострофы. ... символ_в_апострофах простой_символ = маленькая_буква [ [ "_" ] буквы_и_цифры ] символ_в_апострофах = "'" { графема } "'" . ... Если апострофы не используются, значение символа не должно совпадать с ключевыми словами языка. ... Ссылки: большая буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , маленькая буква 1 , простой символ 2.1.2 , символ в апострофах 2.1.2 . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020102.html -- 5.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
10. Actor Prolog. Programming language definition.
Числовой литерал - это лексема , обозначающая числовое значение : числовой_литерал = расширенное_число [ порядок ] | цифры "#" расширенное_число "#" [ порядок ] | ... Для получения значения числового литерала с порядком необходимо умножить значение числового литерала без порядка на основание, возведенное в указанную порядком степень. ... Ссылки: буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , лексема 2.1 , управляющий символ 1 , цифра 1 , числовой литерал 2.1.3 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020103.html -- 6.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
11. Actor Prolog. Programming language definition.
Сегмент строки - это лексема , обозначающая цепочку графических и управляющих символов : сегмент_строки = '"' { графема | код } '"' . В ходе сканирования сегмента строки конструкции вида "\" код (где код - некоторая буква или числовой литерал ) заменяются соответствующими графическими и управляющими символами . ... Ссылки: буква 1 , графема 1 , значение лексемы 2.1 , лексема 2.1 , сегмент строки 2.1.4 , управляющий символ 1 , числовой литерал 2.1.3 . ... 2.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020104.html -- 5.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
12. Actor Prolog. Programming language definition.
Ограничитель - это последовательность из одного или нескольких специальных символов , используемая в синтаксических конструкциях языка. В языке используются : . простые ограничители . составные ограничители . Значениями ограничителей считаются соответствующие цепочки графем . Ссылки: графема 1 , значение лексемы 2.1 , специальный символ 1 . ... Предыдущий: 2.1.4. ... 2.1. ЛЕКСЕМЫ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020105.html -- 2.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
13. Actor Prolog. Programming language definition.
Комментарием является последовательность графических и управляющих символов , начинающаяся с открывающей скобки комментария и заканчивающаяся закрывающей скобкой; комментариям разных типов соответствуют разные скобки. Открывающая скобка не является началом комментария , если ее графические символы входят в состав лексемы или другого комментария . ... Однострочный комментарий : открывающая скобка - два соседних дефиса; закрывающая - любой управляющий символ , отличный от горизонтальной табуляции. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020200.html -- 3.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
14. Actor Prolog. Programming language definition.
В общем случае, термы языка могут обозначать : . ... значения лексем "переменная" (если речь идет о несвязанных переменных ). терм = простой_терм | составной_терм | ... В качестве функторов составных термов и атомарных формул используются символы и метапеременные ( метафункторы ) : функтор = символ | ... Метапеременными , называются переменные , используемые в качестве функторов и символов . Метапеременные , используемые в качестве функторов , называются метафункторами . ... Следующий: 3.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
15. Actor Prolog. Programming language definition.
Простой терм - это элементарная синтаксическая конструкция, обозначающая данные и миры . Простыми термами являются константы ( символ , целое число , вещественное число , строковый литерал , спейсер #, метапеременная , обозначающая терм в метапредложении ), а также параметры : простой_терм = константа | ... числовой_литерал | строковый_литерал | метапеременная . ... параметр = переменная | ... Значением связанной переменной считается соответствующий элемент данных , мир или спейсер . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030100.html -- 8.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
16. 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/1251/01030200.html -- 3.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
17. Actor Prolog. Programming language definition.
Структура - это составной терм , построенный из функтора и последовательности одного или более аргументов , заключенной в круглые скобки : структура = функтор "(" термы_и_выражения ")" термы_и_выражения = [ термы_и_выражения "," ] терм_или_выражение терм_или_выражение = терм | ... An) является кортеж длины n+2, в первой позиции которого стоит специальная константа structure : . structure,f,A1,A2,.. ... Ссылки: выражение 6.2.2 , значение терма 3 , составной терм 3.2 , терм 3 , функтор 3 . ... 3.2. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030201.html -- 3.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
18. 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/1251/01030202.html -- 4.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
19. Actor Prolog. Programming language definition.
Недоопределенное множество - это составной терм , построенный из набора (возможно, пустого) элементов , заключенного в фигурные скобки. ... Если недоопределенное множество используется в составе определения класса , то имена элементов множества , совпадающие с атрибутами этого класса , должны быть символами в апострофах . ... недоопределенное_множество = [ простой_терм ] "{" элементы_и_хвост_множества "}" элементы_и_хвост_множества = [ элементы_множества ] [ "|" хвост ] . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030203.html -- 12.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
20. Actor Prolog. Programming language definition.
Унификацией называется операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Кроме того, унификация термов может быть вызвана явно с помощью встроенного предиката " унифицировать термы " : . ... Унификация несвязанной переменной с константой , составным термом или миром вызывает " связывание " этой переменной - замену всех вхождений этой переменной соответствующим элементом данных или миром . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030300.html -- 10.4 Кб -- 24.09.2007
Похожие документы
Похожие документы