%% Learn Spoken Prolog member1(Item,[Item|_]). member1(Item,[_|Items]) :- member1(Item,Items). /** The predicate member 1 takes the arguments Item and [Item|_]. The predicate member 1 takes the arguments Item and [_|Items]: The predicate member 1 takes the arguments Item and Items. **/