Introduction to First-Order Logic and Prolog

Example: List Membership


l			We want to write a function member that works as follows:

?- member(a,[a,b,c,d,e])

*yes*
?- member(a,[1,2,3,4])
no
?- member(X,[a,b,c])

*X = a*
;
*X = b*
;

*X = c*
;
no