From ef05f4a919e01f670c9a1550ef84621b2843547c Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Wed, 9 Sep 2009 18:00:04 -0500 Subject: [PATCH] how did append/3 come up twice in lists? --- library/lists.yap | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/library/lists.yap b/library/lists.yap index 7d77a022d..c00d4495c 100644 --- a/library/lists.yap +++ b/library/lists.yap @@ -42,18 +42,6 @@ [must_be/2]). -% append(Prefix, Suffix, Combined) -% is true when all three arguments are lists, and the members of Combined -% are the members of Prefix followed by the members of Suffix. It may be -% used to form Combined from a given Prefix and Suffix, or to take a given -% Combined apart. E.g. we could define member/2 (from SetUtl.Pl) as -% member(X, L) :- append(_, [X|_], L). - -append([], L, L). -append([H|T], L, [H|R]) :- - append(T, L, R). - - %% append(+ListOfLists, ?List) % % Concatenate a list of lists. Is true if Lists is a list of