[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ord_subtract(+Set1, +Set2, ?Difference)
Subtracts Set2 from Set1
- Set1
- A set
- Set2
- A set
- Difference
- A set or variable
Description
Succeeds when Difference contains all and only the elements
of Set1 which are not also in Set2.