Lists and structures

 

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

• append(L1,L2,L3):   True when L3 is the concatenation of L1 and L2. (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).

• 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):   Sorting the list List1 yields List2. (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].