Составными термами являются структуры, списки и недоопределённые множества:
составной_терм =
структура | список | недоопределённое_множество
Значения составных термов определяются с помощью кортежей и некоторых специальных имён (констант).
Ссылки: значение терма 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. НЕДООПРЕДЕЛЁННЫЕ МНОЖЕСТВА
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)