diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

how did append/3 come up twice in lists?

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-09-09 18:00:04 -05:00
parent e1a724e456
commit ef05f4a919
1 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
library/lists.yap
View File

@ -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