[ library(conjunto) | Reference Manual | Alphabetic Index ]
?E notin ?Sterm
E does not belong to the set term Sterm.
- A Prolog term.
- A set term.
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.
Fails if E belongs to Sterm.
`:: / 2, in / 2