The operations in this module handle lists by performing equality checks via identity instead of unification.
True iff memberchk/2 is true.
Checks that X is an element of (list) Xs.
Adds element E after the first element identical to E0 (or at end) of list L0, returning in L the new list.
Adds element E before the first element identical to E0 (or at start) of list L0, returning in L the new list.
Rest has the same elements of List except for all the occurrences of elements identical to Element.
Difference has the same elements of Set except those which have an identical occurrence in Set0.
List has the elements which are in List1 but are not identical to an element in List2 followed by the elements in List2.