oset.pl -- Ordered set manipulation
This library defines set operations on sets represented as ordered lists.
- oset_is(+OSet)
- check that OSet in correct format (standard order)
- oset_union(+OSet1, +OSet2, -Union)
- oset_int(+OSet1, +OSet2, -Int)
- ordered set intersection
- oset_diff(+InOSet, +NotInOSet, -Diff)
- ordered set difference
- oset_dunion(+SetofSets, -DUnion)
- distributed union
- oset_dint(+SetofSets, -DInt)
- distributed intersection
- oset_power(+Set, -PSet)
- True when PSet is the powerset of Set. That is, Pset is a set of all subsets of Set, where each subset is a proper ordered set.
- oset_addel(+Set, +El, -Add)
- ordered set element addition
- oset_delel(+Set, +El, -Del)
- ordered set element deletion