%%% -*- prolog -*-

%%% our version of append.

%%% app(L1,L2,L3) is true if L1 appended to L2 is L3

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