concat( [], X, X ).
concat( [ X | Y ], Z, [ X | W ] ):- concat( Y, Z, W ).
