10001th prime: Difference between revisions

Content added Content deleted
Line 513: Line 513:
findnsols(Index, N, isPrime(N), PrimeList),!,
findnsols(Index, N, isPrime(N), PrimeList),!,
last(PrimeList, PrimeAtIndex),
last(PrimeList, PrimeAtIndex),
format('prime(~w) is ~w', [Index, PrimeAtIndex]), nl.</syntaxhighlight>
format('prime(~d) is ~d', [Index, PrimeAtIndex]), nl.</syntaxhighlight>
{{out}}
{{out}}
<pre>?- do.
<pre>?- do.