Lists and structures

• Term =.. List: The functor and arguments of Term comprise the list List.

• append(L1,L2,L): True when L is the concatenation of L1 and L2. (not in ISO).

• append(L1,L2,L3,L): True when L is the concatenation of L1, L2, and L3. (not in ISO).

• arg(ArgNo,Term,Arg): The ArgNoth argument of the term Term is Arg.

• functor(Term,Name,Arity): The principal functor of the term Term has the name Name and arity Arity.

• length(List,Length): The length of list List is Length. (not in ISO).

• membchk(X,L) (not in ISO): True when X is included in the list L. '==/2' is used to test whether two terms are the same. (not in ISO).

• member(X,L): True when X is a member of the list L. Instantiates X to different elements in L upon backtracking. (not in ISO).

• attach(X,L): Attach X to the end of the list L. (not in ISO).

• closetail(L): Close the tail of the incompelete list L. (not in ISO).

• reverse(L1,L2): True when L2 is the reverse of L1. (not in ISO).

• setarg(ArgNo,CompoundTerm,NewArg) (not in ISO): Replaces destructively the ArgNoth argument of CompoundTerm with NewArg. The update is undone on backtracking. (not in ISO).

• sort(List1,List2): List2 is a sorted list of List1 in ascending order and without duplicates. (not in ISO).

• sort(Order,List1,List2): List2 is a sorted list of List1 in the specified order, where Order is '<','>','=<', or '>='. Duplicates are not eliminated if the specified order is '=<' or '>='. sort(List1,List2) is same as sort('<',List1,List2). (not in ISO).

• keysort(List1,List2): List1 must be a list of pairs each of which takes the form Key-Value. List2 is a copy of List1 sorted in ascending order by the key. No duplicates are removed. (not in ISO).

• nextto(X, Y, List) (not in ISO): True if Y follows X in List.

• delete(List1, Elem, List2) (not in ISO): True when Lis1 with all occurences of Elem deleted results in List2.

• select(Elem, List, Rest) (not in ISO): True when List1 with Elem removed results in List2.

• nth0(Index, List, Elem) (not in ISO): True when Elem is the Index'th element of List, counting starts at 0.

• nth(Index, List, Elem) (not in ISO): nth1(Index, List, Elem) True when Elem is the Index'th element of List, counting starts at 1.

• last(List, Elem) (not in ISO): True if Last unifies with the last element of List.

• permutation(List1, List2) (not in ISO): True when Xs is a permutation of Ys. This can solve for Ys given Xs or Xs given Ys, or even enumerate Xs and Ys together.

• flatten(List1, List2) (not in ISO): True when Lis2 is a non nested version of List1.

• sumlist(List, Sum) (not in ISO): Sum is the result of adding all numbers in List.

• numlist(Low, High, List) (not in ISO): List is a list [Low, Low+1, ... High].

• and_to_list(Tuple,List) (not in ISO): Let Tuple be $(e_1,e_2,...,e_n)$. List is [[ $e_1,e_2,...,e_n$].

• list_to_and(List,Tuple) (not in ISO): Let List be [[ $e_1,e_2,...,e_n$]. Tuple is $(e_1,e_2,...,e_n)$. List must be a complete list.