Documentation Prolog Predicate Reference lists member/2

member/2

Check membership of element in list.

Description

member( ?term, ?list )

member(X, List) is true if and only if X is an element contained in List. If X is not instantiated, it will be instantiated with all the values in List.

Implementation