10 Mar 2005
CS 3243 - FOL and Prolog
45
Example: List Membership
lWe 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
Can you do it?
