/*  VAX C-Prolog Benchmark Package  */
/*  Copyright 1985 by Tektronix, Inc., and Portland State University  */

mk_list(0,nil).
mk_list(N,cons(N,L)) :-
	N1 is N-1, mk_list(N1,L).

rev(nil,nil).
rev(cons(X,L),Rlx) :-
	rev(L,Rl), app(Rl,cons(X,nil),Rlx).

app(nil,L,L).
app(cons(X,L1),L2,cons(X,L3)) :-
	app(L1,L2,L3).