3.1Простые термы



Простой терм — это элементарная синтаксическая конструкция, обозначающая данные и миры. Простыми термами являются константы (символ, целое число, вещественное число, строковый литерал, спейсер #, метапеременная, обозначающая терм в метапредложении), а также параметры:

простой_терм = константа | параметр
константа =

символ_в_апострофах |
[ "—" ] числовой_литерал
строковы й_литерал
"#" |
метапеременная

Число обозначается с помощью числового литерала, перед которым может стоять знак минус. В целых и вещественных числах с явно указанным основанием использовать знак минус не разрешается.

Строковый литерал — это последовательность сегментов строки, обозначающая цепочку графических и управляющих символов:

строковый_литерал = [ строковый_литерал ] сегмент_строки

Спейсер # обозначает неизвестный элемент данных или мир.

Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения.

параметр = переменная | атрибут

Считается, что значением терма «переменная» является значение лексемы «переменная», до тех пор пока эта переменная (терм) не будет связана с какой-либо константой, составным термом или миром. Значением связанной переменной считается соответствующий элемент данных, мир или спейсер. Переменная, не связанная с константой, составным термом или миром, называется «несвязанной». Значения других простых термов определяются значениями соответствующих им лексем.

Значения других простых термов определяются значениями соответствующих им лексем.

Диапазоны допустимых целых и вещественных чисел определяются конкретной реализацией языка. При этом значения числовых литералов с явно указанным основанием (выходящие за пределы допустимого диапазона) разрешается использовать в качестве битового представления отрицательных чисел.

Значением строкового литерала является конкатенация значений последовательности входящих в его состав сегментов строк. Максимальная допустимая длина значения строкового литерала определяется конкретной реализацией языка.


Пример.
Правильно построенные простые термы:

VARIABLE, 'symbol', 2#0100_1100#, -34.0e-9, "A" "TEXT" "LINE\n"



Содержание