remove flatten

diff --git a/README.md b/README.md
index c1614ee33d5514deea54f7a1336d53a53e139a50..35621da24a112569d5a99fde0128538750877243 100644 (file)
--- a/README.md
+++ b/README.md
@@ -136,7 +136,6 @@ The following predicates are built-in to rusty-wam.
 * `display/1`
 * `duplicate_term/2`
 * `false/0`
-* `flatten/2`
 * `float/1`
 * `functor/3`
 * `ground/1`

diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl
index 9b2e67f55e71284612bd7a646140b9e72f402680..ab3ae5dd21ef42cb685df414532487d7e4313fb7 100644 (file)
--- a/src/prolog/lib/lists.pl
+++ b/src/prolog/lib/lists.pl
@@ -1,6 +1,5 @@
 :- 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/9]).
+                 maplist/3, maplist/4, maplist/5, maplist/6, maplist/7, maplist/8, maplist/9]).
 
 member(X, [X|_]).
 member(X, [_|Xs]) :- member(X, Xs).
@@ -24,14 +23,6 @@ reverse([], Ys, Ys).
 reverse([H|T], 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(Cont1, [E1|E1s]) :-
     call(Cont1, E1),