rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove flatten

Browse Source
This commit is contained in:
Mark Thom
2018-03-26 19:05:23 -06:00
parent 933b94ef82
commit eb694cbba7
2 changed files with 1 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@@ -136,7 +136,6 @@ The following predicates are built-in to rusty-wam.
* `display/1` * `display/1`
* `duplicate_term/2` * `duplicate_term/2`
* `false/0` * `false/0`
* `flatten/2`
* `float/1` * `float/1`
* `functor/3` * `functor/3`
* `ground/1` * `ground/1`

11
src/prolog/lib/lists.pl
View File

@@ -1,6 +1,5 @@
:- module(lists, [member/2, select/3, append/3, is_list/1, memberchk/2, reverse/2, maplist/2, :- module(lists, [member/2, select/3, append/3, is_list/1, memberchk/2, reverse/2, maplist/2,
flatten/2, maplist/3, maplist/4, maplist/5, maplist/6, maplist/7, maplist/8, maplist/3, maplist/4, maplist/5, maplist/6, maplist/7, maplist/8, maplist/9]).
maplist/9]).
member(X, [X|_]). member(X, [X|_]).
member(X, [_|Xs]) :- member(X, Xs). member(X, [_|Xs]) :- member(X, Xs).
@@ -24,14 +23,6 @@ reverse([], Ys, Ys).
reverse([H|T], Ps, Rs) :- reverse([H|T], Ps, Rs) :-
reverse(T, [H|Ps], Rs). reverse(T, [H|Ps], Rs).
flatten([], List, List) :- !.
flatten([Head|Tail], List0, List) :- !,
flatten(Head, List0, List1),
flatten(Tail, List1, List).
flatten(Other, [Other|List], List).
flatten(Tree, List) :- flatten(Tree, List, []).
maplist(_, []). maplist(_, []).
maplist(Cont1, [E1|E1s]) :- maplist(Cont1, [E1|E1s]) :-
call(Cont1, E1), call(Cont1, E1),