Did you know ... Search Documentation:
sets.pl -- SICStus 4 library(sets).
PublicShow source
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:
Source 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.

Source del_element(Arg1, Arg2, Arg3)
Source disjoint(Arg1, Arg2)
Source intersect(Arg1, Arg2)
Source add_element(Arg1, Arg2, Arg3)
Source union(Arg1, Arg2, Arg3, Arg4)
Source subset(Arg1, Arg2)
Source intersection(Arg1, Arg2, Arg3)
Source subtract(Arg1, Arg2, Arg3)
Source union(Arg1, Arg2, Arg3)
Source is_set(Arg1)
Source seteq(Arg1, Arg2)
Source disjoint_union(Arg1, Arg2, Arg3)
Source set_order(Arg1, Arg2, Arg3)