====== List member 2 ======
{{tag>lists}}
===== Description =====
Membership of a list

**Source**:  The Art of Prolog
===== Download =====
Program source code: {{list_member_2.pl}}
===== Listing =====
<code prolog>
/*
	member(Element,List) :- Element is an element of the list List
*/

	member(X,[X|Xs]).
	member(X,[Y|Ys]) :- member(X,Ys).

%	Program 3.12: Membership of a list
</code>
===== Comments =====