F.2.8 library(lists)
| append/2 | Concatenate a list of lists. |
| append/3 | List1AndList2 is the concatenation of List1 and List2. |
| delete/3 | Delete matching elements from a list. |
| flatten/2 | Is true if List2 is a non-nested version of List1. |
| 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 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 two elements from two lists at the same place. |
| 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 Set1 and Set2. |
Tags are associated to your profile if you are logged in
to add a comment