A.21 library(ordsets): Ordered set manipulation
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(ordsets)).(can be autoloaded)
Source[det]ord_union(+Set1, +Set2, -Union, -New)
True iff ord_union(Set1, Set2, Union) and ord_subtract(Set2, Set1, New).
ClioPatria (version V3.1.1-51-ga0b30a5)