|
|
empty(term)
Whether a list term is empty or not. |
|
|
|
|
length(term)
Length of a list term. |
|
|
|
|
item(term,
index)
Get item at given index of a list term. |
|
|
|
|
extend(head,
tail)
Return the concatenation of two list terms. |
|
|
|
|
append(head,
tail)
Append an element to a list. |
|
|
|
|
insert(term,
index,
other)
Insert an element into the list. |
|
|
|
|
reverse(term)
Reverse a list term. |
|
|
|
|
map(function,
term)
Return a list term with the elements for transformed by the
function. |
|
|
|
|
rmap(function,
term)
Return a list term with the elements for transformed by the
function. |
|
|
|
|
filter(function,
term)
Return a list term with the elements for which the function
returns true. |
|
|
|
|
fetch(function,
term)
Return a the first term of a list term for which the function
returns true. |
|
|
|
|
split(term,
index)
Splits a list term in two lists. |
|
|