% MemberP tests for membership only.
memberp(E, [E, .._]):-!.
% Once found, will not search for alternatives
memberp(E, [_, ..R]) :- memberp(E, R),!.