/* Recursive member of list definition. Ask: Member( X, [a,b,c,d,e,f] ) to get successively all the members of the given list. */ member( Y, [Y|_] ). member( B, [_|C] ) :- member( B, C ).