From 58e0109ee9ed3aa6ac2e6b0ed621820118a3d1de Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 8 Jul 2021 01:40:24 +0000 Subject: Add clause/2 predicate --- lists.pl | 4 ---- 1 file changed, 4 deletions(-) (limited to 'lists.pl') 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). -- cgit v1.2.3