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

gen_list(0,[]).
gen_list(N,[[N,N]|L])   :-  N1 is N-1, gen_list(N1,L).
expand_term(0,Xvalue, Tvalue)     :-     Tvalue is Xvalue.
expand_term(Power,Xvalue, Tvalue)   :-  TempValue  is 2*Xvalue,
	Power1 is Power - 1,
	expand_term(Power1 ,TempValue, Tvalue).

eval_term([Coef,Power],Value,Xvalue) :-  expand_term(Power,Xvalue, Tvalue),
	Value is Coef*Tvalue .  

eval_poly([],Answer, Svalue)          :-   Answer is Svalue .
eval_poly([Term|Rest],Answer, Svalue) :-  eval_term(Term,Value,1),
	Ans is Svalue + Value,
	eval_poly(Rest,Answer,Ans).
polybench(N,Answer)  :-  gen_list(N,Poly),!,
	eval_poly(Poly,Answer, 0 ).