Составными термами являются структуры, списки и недоопределенные множества:
составной_терм =
структура | список | недоопределенное_множество
Значения составных термов определяются с помощью кортежей и некоторых специальных имен (констант).
Ссылки: значение терма 3, недоопределенное множество 3.2.3, составной терм 3.2, список 3.2.2, структура 3.2.1, терм 3.
Следующий:
3.2.1. СТРУКТУРЫ
Предыдущий:
3.1. ПРОСТЫЕ ТЕРМЫ
3. ОПРЕДЕЛЕНИЕ ДАННЫХ
3.2.1. СТРУКТУРЫ
3.2.2. СПИСКИ
3.2.3. НЕДООПРЕДЕЛЕННЫЕ МНОЖЕСТВА
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)