/*  VAX C-Prolog Benchmark Package  /*
/*  Copyright 1985 by Tektronix, Inc., and Portland State University  /*
 
 
/* prolog module to read numbers from a file, in order to test file input */
 
read_num(Max) :-
see('numdata'),
asserta(n(0)),
repeat,
	read(X),
	retract(n(N)),
	N1 is N+1,
	asserta(n(N1)),
N1>=Max, !,
seen.
