[m-users.] primes...

[Zoltan Somogyi]

On Sun, 3 Apr 2022 21:05:03 +0100, "Sean Charles (emacstheviking)" <objitsu at gmail.com> wrote:

> In the reference_manual there is reference to a predicate on page 22...
> 
> Threading the I/O state
> main(!IO) :-
> io.write_string("The 100th prime is ", !IO),
> X = prime(100),
> io.write_int(X, !IO),
> io.nl(!IO)
> 
> Is this really a library function somewhere?

No, it is not in the Mercury standard library. Its use there
is simply to make the example slightly more realistic.

Zoltan.