summaryrefslogtreecommitdiff
path: root/lists.pl
diff options
context:
space:
mode:
Diffstat (limited to 'lists.pl')
-rw-r--r--lists.pl4
1 files changed, 0 insertions, 4 deletions
diff --git a/lists.pl b/lists.pl
index ee75110..2aad0e5 100644
--- a/lists.pl
+++ b/lists.pl
@@ -7,10 +7,6 @@ length([_|Tail], Length) :-
length(Tail, Length0),
Length is Length0 + 1.
-member(X, [X|_]).
-member(X, [_|Tail]) :-
- member(X, Tail).
-
append([], Ys, Ys).
append([X|Xs], Ys, [X|Rest]) :-
append(Xs, Ys, Rest).