11.3.116 memberchk/2

Synopsis

memberchk(?Element, ?List)

is true if the given Element occurs in the given List. Its purpose is to test for membership. Normally, the two arguments are ground.

Arguments

Element
term
List
list of term

Description

In the context of this predicate, a term occurs in a list if it can be unified with an element of the list.

Backtracking

The predicate is determinate and commits to the first successful unification, if any.

Examples

     
     | ?- memberchk(bar, [foo,bar,baz]).
     yes

See Also

ref-lte-acl, library(lists).


Send feedback on this subject.