/*  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).
