[ 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

- ord_selectchk(?, +, -) is semidet

### 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