member/2

Module

This predicate is provided by lists.pl.

Load this module before using the predicate:

:- consult('/v1/lib/lists.pl').

Description

True if Elem unifies with an element of List.

Signature

member(?Elem, ?List) is nondet