Author(s): Francisco Bueno.
Version: 0.4#5 (1998/2/24)
The operations in this module handle lists by performing equality checks via identity instead of unification.
idlists
)idlists
)No further documentation available for this predicate.
memberchk(X,Xs)
Checks that X
is an element of (list) Xs
.
Usage: list_insert(-(List),+Term)
Term
to the end of (tail-opened) List
if there is not an element in List
identical to Term
.
Usage: add_after(+L0,+E0,+E,-(L))
E
after the first element identical to E0
(or at end) of list L0
, returning in L
the new list.
Usage: add_before(+L0,+E0,+E,-(L))
E
before the first element identical to E0
(or at start) of list L0
, returning in L
the new list.
Usage: delete(+List,+Element,-(Rest))
Rest
has the same elements of List
except for all the occurrences of elements identical to Element
.
Usage: subtract(+Set,+Set0,-(Difference))
Difference
has the same elements of Set
except those which have an identical occurrence in Set0
.
Usage: union_idlists(+List1,+List2,-(List))
List
has the elements which are in List1
but are not identical to an element in List2
followed by the elements in List2
.
Go to the first, previous, next, last section, table of contents.