[ 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