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

Availability::- use_module(library(ordsets)).(can be autoloaded)
Source[det]ord_intersection(+Set1, +Set2, ?Intersection, ?Difference)
Intersection and difference between two ordered sets. Intersection is the intersection between Set1 and Set2, while Difference is defined by ord_subtract(Set2, Set1, Difference).
See also
ord_intersection/3 and ord_subtract/3.
ClioPatria (version V3.1.1-21-gb8003bb)