eclipseclp/Contrib/listut.pl

101 %   is true when Xlist and Ylist are lists, X is an element of Xlist, Y is
102 %   an element of Ylist, and X and Y are in similar places in their lists.
120 %   is true when List is a List and Last is its last element.  This could
139 %   It may be used to select a particular element, or to find where some
140 %   given element occurs, or to enumerate the elements and indices togther.
159 %   counting the first as element 0.  (That is, throw away the first
171     summary:"Access nth element of a list",
175 	first as element 0.  (That is, throw away the first N elements
199     summary:"Access nth element of a list",
203 	first as element 1.
224 %   nth0(?N, ?List, ?Elem, ?Rest) unifies Elem with the Nth element of List,
226 %   to select the Nth element of List (yielding Elem and Rest), or to
227 %   insert Elem after the Nth (counting from 1) element of Rest, when
230 %   can be used to insert Elem before the Nth element (couting from 1) of Rest.
240     summary:"Access nth element and remainder of a list",
243 	Unifies Elem with the Nth element of List, counting from 0,
245 	the Nth (counting from 0) element of List (yielding Elem and
247 	element of Rest, when it yields List, e.g. nth0(2, List, c,
272     summary:"Access nth element and remainder of a list",
275 	Unifies Elem with the Nth element of List, counting from 1,
277 	the Nth element of List (yielding Elem and Rest), or to insert
278 	Elem before the Nth (counting from 1) element of Rest, when it
323 %   N-element list is N!, even for a 7-element list that is 5040.
327 	select(First, List, Rest),	%  tries each List element in turn
376 %   is true when X is the Kth member of Xlist and Y the Kth element of Ylist
389 %   one element shorter than Long.  It cannot be used to generate lists
402 %   and every element of Sequence which is not in SubSequence is in the
425 %   that is it contains at least one element less.