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(~ |
format('prime(~d) is ~d', [Index, PrimeAtIndex]), nl.</syntaxhighlight> |
||
{{out}} |
{{out}} |
||
<pre>?- do. |
<pre>?- do. |