Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 1101 - 1120 из 2154.
Упорядочить по:
URL
|
дате изменения
1101. 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
Похожие документы
Похожие документы
1102. 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
Похожие документы
Похожие документы
1103. 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
Похожие документы
Похожие документы
1104. 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
Похожие документы
Похожие документы
1105. 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
Похожие документы
Похожие документы
1106. 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
Похожие документы
Похожие документы
1107. 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
Похожие документы
Похожие документы
1108. Actor Prolog. Programming language definition.
Комментарием является последовательность графических и управляющих символов , начинающаяся с открывающей скобки комментария и заканчивающаяся закрывающей скобкой; комментариям разных типов соответствуют разные скобки. Открывающая скобка не является началом комментария , если ее графические символы входят в состав лексемы или другого комментария . ... Однострочный комментарий : открывающая скобка - два соседних дефиса; закрывающая - любой управляющий символ , отличный от горизонтальной табуляции. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01020200.html -- 3.7 Кб -- 24.09.2007
Похожие документы
Похожие документы
1109. Actor Prolog. Programming language definition.
В общем случае, термы языка могут обозначать : . ... значения лексем "переменная" (если речь идет о несвязанных переменных ). терм = простой_терм | составной_терм | ... В качестве функторов составных термов и атомарных формул используются символы и метапеременные ( метафункторы ) : функтор = символ | ... Метапеременными , называются переменные , используемые в качестве функторов и символов . Метапеременные , используемые в качестве функторов , называются метафункторами . ... Следующий: 3.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1110. Actor Prolog. Programming language definition.
Простой терм - это элементарная синтаксическая конструкция, обозначающая данные и миры . Простыми термами являются константы ( символ , целое число , вещественное число , строковый литерал , спейсер #, метапеременная , обозначающая терм в метапредложении ), а также параметры : простой_терм = константа | ... числовой_литерал | строковый_литерал | метапеременная . ... параметр = переменная | ... Значением связанной переменной считается соответствующий элемент данных , мир или спейсер . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030100.html -- 8.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1111. 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
Похожие документы
Похожие документы
1112. 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
Похожие документы
Похожие документы
1113. 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
Похожие документы
Похожие документы
1114. Actor Prolog. Programming language definition.
Недоопределенное множество - это составной терм , построенный из набора (возможно, пустого) элементов , заключенного в фигурные скобки. ... Если недоопределенное множество используется в составе определения класса , то имена элементов множества , совпадающие с атрибутами этого класса , должны быть символами в апострофах . ... недоопределенное_множество = [ простой_терм ] "{" элементы_и_хвост_множества "}" элементы_и_хвост_множества = [ элементы_множества ] [ "|" хвост ] . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030203.html -- 12.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1115. Actor Prolog. Programming language definition.
Унификацией называется операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Кроме того, унификация термов может быть вызвана явно с помощью встроенного предиката " унифицировать термы " : . ... Унификация несвязанной переменной с константой , составным термом или миром вызывает " связывание " этой переменной - замену всех вхождений этой переменной соответствующим элементом данных или миром . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01030300.html -- 10.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
1116. Actor Prolog. Programming language definition.
Программа состоит из множества классов и целевого утверждения (" проекта ") : программа = { определение_класса | ... В программе должны быть определены все классы , используемые проектом . ... Ссылки: иерархия наследования 4.1 , инициализатор 4.1.2 , класс 4.1 , конструктор 4.1.3 , конструктор процесса 4.1.3 , мир 5.1 , перекрытие инициализаторов 5.4.2 , построение миров 5.4.1 , построение процесса 5.4.1 , проект 4.2 , процесс 5.2 , согласование процессов 7.4 , формирование процесса 5.4.1 . ... 4.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01040000.html -- 5.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1117. Actor Prolog. Programming language definition.
Класс - это набор предложений языка, имеющий уникальное имя и входящий в состав иерархии наследования : определение_класса = class заголовок_класса ":" атрибуты "[" предложения "]" . ... Ссылки: атрибуты 4.1.1 , имя класса 4.1 , использование класса 4 , мир 5.1 , отсечение 8 , предложение 6 , проект 4.2 , символ в апострофах 2.1.2 , формирование миров 5.4.1 , class 2.1.2 , goal 5.4.1 , specializing 2.1.2 . Следующий: 4.1.1. АТРИБУТЫ КЛАССОВ . ... 4.1.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01040100.html -- 5.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
1118. Actor Prolog. Programming language definition.
Атрибутами называются имена слотов экземпляра класса , определяемые в составе класса . ... Область действия атрибута распространяется на инициализаторы слотов в определении атрибутов класса , а также на все предложения класса . ... Область действия таких переменных ограничена множеством инициализаторов слотов в определении атрибутов класса . ... Ссылки: инициализатор 4.1.2 , класс 4.1 , мир 5.1 , переменная 2.1.1 , предложение 6 , простой символ 2.1.2 , слот 5.1 , protecting 2.1.2 , suspending 2.1.2 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01040101.html -- 5.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1119. 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/1251/01040102.html -- 2.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1120. Actor Prolog. Programming language definition.
Конструктором называется утверждение о существовании экземпляра класса или резидента . В результате доказательства конструкторов происходит построение новых экземпляров классов и резидентов . Различаются конструкторы миров (а именно простые конструкторы и конструкторы процессов ), а также конструкторы резидентов . ... конструктор_процесса . ... Аргументы конструктора мира определяют значения слотов соответствующего экземпляра класса ( значения слотов процесса ). ... КЛАССЫ . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/01040103.html -- 8.4 Кб -- 24.09.2007
Похожие документы
Похожие документы