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