[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_selectchk(?Term, +Set, -Remainder)
Set contains Term, and Remainder is the set Set without Term
- Any Term
- A set
- A variable or set
If Set contains Term, Remainder is the set Set without the Term.
Otherwise the predicate fails.
Modes and Determinism
- ord_selectchk(?, +, -) is semidet
Term is not a member of Set
ord_del_element / 3, lists : delete / 3, m_map : delete / 3, listut : delete / 3, m_tree234 : delete / 3