⁷This definition of member/2 can be simplified slightly by ‘unfolding’ the call to =/2 and placing it in the head of the rule, to give:

member(Item, [Item|List]).

member(Item, [_|Tail]):-

member(Item, Tail).