diff --git a/src/lib/lists.pl b/src/lib/lists.pl
index 815e2b2a..8a94ed6a 100644
--- a/src/lib/lists.pl
+++ b/src/lib/lists.pl
@@ -122,8 +122,13 @@ length_addendum([_|Xs], N, M) :-
 %    X = h
 % ;  ... .
 % ```
-member(X, [X|_]).
-member(X, [_|Xs]) :- member(X, Xs).
+
+member(X, [L|Ls]) :-
+        member_(Ls, L, X).
+
+member_(_, X, X).
+member_([L|Ls], _, X) :-
+        member_(Ls, L, X).
 
 %% select(X, Xs0, Xs1).
 %