% -*- Prolog -*-
%
% Checkout the clause indexing - no ChoicePoints should be created.
%
% $Id: 015,v 1.1 2000/07/23 05:38:37 peteg Exp $

append([], X, X).
append([X|Xs], Y, [X|Zs]) :-
	append(Xs, Y, Zs).

main :-
	append([a], [b, c], X),
	write(X),
	nl,
	fail.
