Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/1251/01030100.html
Дата изменения: Mon Sep 24 14:54:40 2007 Дата индексирования: Tue Oct 2 02:27:13 2012 Кодировка: Windows-1251 Поисковые слова: п п п п п п п п п п |
Простой терм - это элементарная синтаксическая конструкция, обозначающая данные и миры. Простыми термами являются константы (символ, целое число, вещественное число, строковый литерал, спейсер #, метапеременная, обозначающая терм в метапредложении), а также параметры:
простой_терм = константа | параметр константа = символ_в_апострофах | [ "-" ] числовой_литерал | строковый_литерал | "#" | метапеременная
Число обозначается с помощью числового литерала, перед которым может стоять знак минус. В целых и вещественных числах с явно указанным основанием использовать знак минус не разрешается.
Строковый литерал - это последовательность сегментов строки, обозначающая цепочку графических и управляющих символов:
строковый_литерал = [ строковый_литерал ] сегмент_строки
Спейсер # обозначает неизвестный элемент данных или мир.
Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения.
параметр = переменная | атрибут
Считается, что значением терма "переменная" является значение лексемы "переменная", до тех пор пока эта переменная (терм) не будет связана с какой-либо константой, составным термом или миром. Значением связанной переменной считается соответствующий элемент данных, мир или спейсер. Переменная, не связанная с константой, составным термом или миром, называется "несвязанной".
Значения других простых термов определяются значениями соответствующих им лексем.
Диапазоны допустимых целых и вещественных чисел определяются конкретной реализацией языка. При этом значения числовых литералов с явно указанным основанием (выходящие за пределы допустимого диапазона) разрешается использовать в качестве битового представления отрицательных чисел.
Значением строкового литерала является конкатенация значений последовательности входящих в его состав сегментов строк. Максимальная допустимая длина значения строкового литерала определяется конкретной реализацией языка.
VARIABLE, 'symbol', 2#0100_1100#, -34.0e-9, "A" "TEXT" "LINE\n"
Ссылки: атом 6.1, атрибут 4.1.1, графема 1, данные 3, заголовок предложения 6, значение лексемы 2.1, значение терма 3, лексема 2.1, метапеременная 3, метапредложение 6, мир 5.1, переменная 2.1.1, предложение 6, простой терм 3.1, связывание 3.3, сегмент строки 2.1.4, символ 2.1.2, символ в апострофах 2.1.2, составной терм 3.2, строковый литерал 3.1, терм 3, управляющий символ 1, числовой литерал 2.1.3.
Следующий:
3.2. СОСТАВНЫЕ ТЕРМЫ
Предыдущий:
3. ОПРЕДЕЛЕНИЕ ДАННЫХ
3. ОПРЕДЕЛЕНИЕ ДАННЫХ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)