my_append([],L,L).
my_append([H|T],L,[H|R]) :- my_append(T,L,R).

/*
test 1
| ?- my_append([a,b],[c,d],L).

L = [a,b,c,d]

yes

?- my_append(L1,L2,[a,b,c]).  

L1 = []
L2 = [a,b,c] ? ;

L1 = [a]
L2 = [b,c] ? ;

L1 = [a,b]
L2 = [c] ? ;

L1 = [a,b,c]
L2 = [] ? ;

no
| ?- 
*/



