
app([],X,X).
app([X|Xs],Ys,[X|Zs]) :-
	app(Xs,Ys,Zs).






/*TWDESC

This is the append program

*/


/*TWDEMO

selected_norms([listlength]).
*/
:- app(i,i,o).
/*.


*/
