[Up] [Contents] [Index] [Summary]
- is_set(+Set)
-
Succeeds if Set is a proper list (see proper_list/1)
without duplicates.
- list_to_set(+List,
-Set)
-
Succeeds if Set holds the same elements as List in
the same order, but has no duplicates. See also sort/2.
- intersection(+Set1,
+Set2, -Set3)
-
Succeeds if Set3 unifies with the intersection of Set1
and
Set2. Set1 and Set2 are lists without
duplicates. They need not be ordered.
- subtract(+Set, +Delete,
-Result)
-
Delete all elements of set `Delete' from `Set' and unify the resulting
set with `Result'.
- union(+Set1, +Set2, -Set3)
-
Succeeds if Set3 unifies with the union of Set1
and
Set2. Set1 and Set2 are lists without
duplicates. They need not be ordered.
- subset(+Subset, +Set)
-
Succeeds if all elements of Subset are elements of Set
as well.
- merge_set(+Set1, +Set2,
-Set3)
-
Set1 and Set2 are lists without duplicates, sorted
to the standard order of terms. Set3 is unified with an
ordered list without duplicates holding the union of the elements of Set1
and Set2.