summaryrefslogtreecommitdiff
path: root/lists.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 01:40:24 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 01:40:24 +0000
commit58e0109ee9ed3aa6ac2e6b0ed621820118a3d1de (patch)
tree3900945ec27bcd623c823628751031cdb2521ac1 /lists.pl
parent2dce50fbd5ef72bbcd51533cf04f8722f8139d6a (diff)
Add clause/2 predicate
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).