:- module(_,_,[]).

% Lists - append

% append(X,Y,Z): list Z is X and Y concatenated
list_append([],L,L) :- 
    list(L).
list_append([X|Xs],Ys,[X|Zs]) :- 
    list_append(Xs,Ys,Zs).

% Try:
% ?- list_append([a,b], [c], X).
% ?- list_append(X, [c], [a,b,c]).
% ?- list_append(X, Y, [a,b,c]).


list([]).
list([_|Y]) :-
     list(Y).