[ library(ordset) | 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