11.3.117 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).