is true if the given Element does not occur in the given List. Its purpose is to test for membership. Normally, the two arguments are ground.
In the context of this predicate, a term occurs in a list if it can be unified with an element of the list.
The predicate is determinate and either succeeds or fails. It never binds variables.
| ?- nonmember(bar, [foo,bar,baz]). no