Did you know ... Search Documentation:
Pack ciao -- prolog/dialect/ciao/idlists.pl
PublicShow source

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 delete(+List1, @Elem, -List2) is det
Delete matching elements from a list. True when List2 is a list with all elements from List1 except for those that unify with Elem. Matching Elem with elements of List1 is uses \+ Elem \= H, which implies that Elem is not changed.
See also
- select/3, subtract/3.
- There are too many ways in which one might want to delete elements from a list to justify the name. Think of matching (= vs. ==), delete first/all, be deterministic or not.
 subtract(+Set, +Delete, -Result) is det
Delete all elements in Delete from Set. Deletion is based on unification using memberchk/2. The complexity is |Delete|*|Set|. A set is defined to be an unordered list without duplicates. Elements are considered duplicates if they can be unified.
See also
- ord_subtract/3.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 member_0(Arg1, Arg2)
 memberchk(Arg1, Arg2)
 list_insert(Arg1, Arg2)
 add_after(Arg1, Arg2, Arg3, Arg4)
 add_before(Arg1, Arg2, Arg3, Arg4)
 union_idlists(Arg1, Arg2, Arg3)