/*  VAX C-Prolog Benchmark Package  /*
/*  Copyright 1985 by Tektronix, Inc., and Portland State University  /*
 
 
/*  prolog module that writes the same number to a file. */
/* Used to test file output                              */
 
write_num(Max) :-
tell('numdata'),
asserta(n(0)),
repeat,
    write('5555.'), nl,
    retract(n(N)),
    N1 is N+1,
    asserta(n(N1)),
N1>=Max, !,
told.
