====== Flatten ======
{{tag>lists recursion}}
===== Description =====
Flattening a list with double recursion

**Source**:  The Art of Prolog
===== Download =====
Program source code: {{flatten.pl}}
===== Listing =====
<code prolog>
/*
   flatten(Xs,Ys) :- Ys is a list of the elements of Xs.
*/

    flatten([X|Xs],Ys) :- 
        flatten(X,Ys1), flatten(Xs,Ys2), append(Ys1,Ys2,Ys).
    flatten(X,[X]) :- X \== [].
%	constant(X), X \== [].
    flatten([],[]).


% Program 9.1a   Flattening a list with double recursion

</code>
===== Comments =====