確率的素数判定を行えばいいか。必要な領域は大きな整数が数個と素数判定の領域だけになる。今みたいに、200万以下の素数を全て持つ必要はなくなる。

32bitのCPUでSWI-Prologを動かした場合local stackの上限が128MByteに設定されてしまっているため、以下のプログラムではオーバーフローを起こして動作しない。が、その制限を除けば正しいプログラムだと思う。何とかしたい！ primes_new(Primes) :- Primes …

良心に苛まれながらも貼る。 SICPにも似たような問題があった。SWI-Prologでグローバルスタックを拡張して実行した。 % ペアを作る(おまけ) integer_pairs_new(PairSeed) :- PairSeed = [[[1, 1] | Tail], Tail]. integer_pairs(PairSeed, Pair, NextPairSee…