[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_del_element(+Set, ?Term, -Remainder)
Remainder is the set Set without the element Term
- Set
- A set
- Term
- Any Term
- Remainder
- A variable or set
Description
Remainder is the set Set without the element Term. If Term is not
in Set, Remainder is identical to Set.
Modes and Determinism
- ord_del_element(+, ?, -) is det
See Also
ord_selectchk / 3