[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ord_selectchk(?Term, +Set, -Remainder)

Set contains Term, and Remainder is the set Set without Term
Term
Any Term
Set
A set
Remainder
A variable or set

Description

If Set contains Term, Remainder is the set Set without the Term. Otherwise the predicate fails.

Modes and Determinism

Fail Conditions

Term is not a member of Set

See Also

ord_del_element / 3, lists : delete / 3, m_map : delete / 3, listut : delete / 3, m_tree234 : delete / 3