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