[ library(conjunto) | Reference Manual | Alphabetic Index ]
?E notin ?Sterm
E does not belong to the set term Sterm.
- ?E
- A Prolog term.
- ?Sterm
- A set term.
Description
This constraint states that E does not belong to the set term Sterm. If
E is not a known value the constraint is delayed. It is activated as
soon as E becomes a known value. If Sterm is a ground set and E is
known it checks if E does not belong to Sterm.
Fail Conditions
Fails if E belongs to Sterm.
Resatisfiable
No.
See Also
`:: / 2, in / 2