| append/2 | Concatenate
a list of lists. |
| append/3 | List1AndList2
is the concatenation of List1 and List2. |
| clumped/2 | Pairs
is a list ofâItem-Count` pairs that represents the _run length
encoding_ of Items. |
| delete/3 | Delete
matching elements from a list. |
| flatten/2 | Is
true if FlatList is a non-nested version of NestedList. |
| intersection/3 | True
if Set3 unifies with the intersection of Set1 and Set2. |
| is_set/1 | True
if Set is a proper list without duplicates. |
| last/2 | Succeeds
when Last is the last element of List. |
| list_to_set/2 | True
when Set has the same elements as List in the same order. |
| max_list/2 | True
if Max is the largest number in List. |
| max_member/2 | True
when Max is the largest member in the standard order of terms. |
| member/2 | True
if Elem is a member of List. |
| min_list/2 | True
if Min is the smallest number in List. |
| min_member/2 | True
when Min is the smallest member in the standard order of terms. |
| nextto/3 | True
if Y directly follows X in List. |
| nth0/3 | True
when Elem is the Index'th element of List. |
| nth0/4 | Select/insert
element at index. |
| nth1/3 | Is
true when Elem is the Index'th element of List. |
| nth1/4 | As
nth0/4, but counting starts at 1. |
| numlist/3 | List
is a list [Low, Low+1, ... High]. |
| permutation/2 | True
when Xs is a permutation of Ys. |
| prefix/2 | True
iff Part is a leading substring of Whole. |
| proper_length/2 | True
when Length is the number of elements in the proper list List. |
| reverse/2 | Is
true when the elements of List2 are in reverse order compared to List1. |
| same_length/2 | Is
true when List1 and List2 are lists with the same number of elements. |
| select/3 | Is
true when List1, with Elem removed, results in List2. |
| select/4 | Select
from two lists at the same positon. |
| selectchk/3 | Semi-deterministic
removal of first element in List that unifies with Elem. |
| selectchk/4 | Semi-deterministic
version of select/4. |
| subset/2 | True
if all elements of SubSet belong to Set as well. |
| subtract/3 | Delete
all elements in Delete from Set. |
| sum_list/2 | Sum
is the result of adding all numbers in List. |
| union/3 | True
if Set3 unifies with the union of the lists Set1 and Set2. |