ord_intersection/5¶

ord_intersection(+ Set1, + Set2, ? Intersection, ? Diff)*

Holds when Intersection is the ordered representation of Set1 and Set2. Diff is the difference between Set2 and Set1.