See also

- https://sicstus.sics.se/sicstus/docs/4.6.0/html/sicstus.html/lib_002dsets.html

To be done

- This library is incomplete. As of SICStus 4.6.0, the following predicates are missing:

• pairfrom/4
• power_set/2
• intersection/2
• symdiff/3
• setproduct/3
• union/2

 list_to_set(+List, -Set) is det

Set is List with all duplicates removed. Duplicates are removed by unification. This is not the same as SWI-Prolog's list_to_set/2 in library(lists), which finds duplicates based on term equality (==).

Compatibility

- SICStus 4

Undocumented predicates

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

 del_element(Arg1, Arg2, Arg3)

 disjoint(Arg1, Arg2)

 intersect(Arg1, Arg2)

 add_element(Arg1, Arg2, Arg3)

 union(Arg1, Arg2, Arg3, Arg4)

 subset(Arg1, Arg2)

 intersection(Arg1, Arg2, Arg3)

 subtract(Arg1, Arg2, Arg3)

 union(Arg1, Arg2, Arg3)

 is_set(Arg1)

 seteq(Arg1, Arg2)

 disjoint_union(Arg1, Arg2, Arg3)

 set_order(Arg1, Arg2, Arg3)