diff options
Diffstat (limited to 'lists.pl')
-rw-r--r-- | lists.pl | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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). |