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

lists_to_set/2 (from SWI).

Browse Source
This commit is contained in:
Vitor Santos Costa 2011-06-14 09:01:48 +01:00
parent 9c8d759a43
commit 49450cbbf4
1 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
library/lists.yap
View File

@ -13,6 +13,7 @@
last/2, last/2,
list_concat/2, list_concat/2,
max_list/2, max_list/2,
list_to_set/2,
member/2, member/2,
memberchk/2, memberchk/2,
min_list/2, min_list/2,
@ -415,3 +416,27 @@ subtract([E|T], D, R) :-
subtract(T, D, R). subtract(T, D, R).
subtract([H|T], D, [H|R]) :- subtract([H|T], D, [H|R]) :-
subtract(T, D, R). subtract(T, D, R).
%% list_to_set(+List, ?Set) is det.
%
% True when Set has the same element as List in the same order.
% The left-most copy of the duplicate is retained. The complexity
% of this operation is |List|^2.
%
% @see sort/2.
list_to_set(List, Set) :-
list_to_set_(List, Set0),
Set = Set0.
list_to_set_([], R) :-
close_list(R).
list_to_set_([H|T], R) :-
memberchk(H, R), !,
list_to_set_(T, R).
close_list([]) :- !.
close_list([_|T]) :-
close_list(T).