3.2.2. СПИСКИ

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

 список = "[" [ термы_и_выражения [ "|" хвост ] ] "]"
 хвост = параметр | вызов_функции_в_предложении | выражение

Значением пустого списка [] является специальная константа

#empty_list.

Значением списка [A1,A2,...,An|Rest] является кортеж

<list,A1,<list,A2,...<list,An,Rest>...>>,

где list - специальная константа, Rest - хвост списка.

Таким образом, терму [A1,A2,...,An] соответствует значение

<list,A1,<list,A2,...<list,An,#empty_list>...>>.

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

[17,_,"item_of_list",321,93,_], [X+721,Y,R+H,Z|R], []

Ссылки: вызов функции в предложении 6.2.1, выражение 6.2.2, значение терма 3, параметр 3.1, составной терм 3.2, терм 3, термы и выражения 3.2.1.


Следующий: 3.2.3. НЕДООПРЕДЕЛЕННЫЕ МНОЖЕСТВА
Предыдущий: 3.2.1. СТРУКТУРЫ


3.2. СОСТАВНЫЕ ТЕРМЫ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)