% This LaTeX document was generated using the LaTeX backend of PlDoc,
% The SWI-Prolog documentation system



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

