Prologでまったり Part5 [無断転載禁止]©2ch.net

[36 デフォルトの名無しさん 2017/06/13(火) 23:42:07.13 ID:3xaVR795]

メモリ128GBの環境で述語 foo/1 引数にユニークなアトムを生成して5億節を定義する。

?- between(1,500000000,N),
atom_number(A,N),
assertz(foo(A)),
N = 500000000.

これで110GBを費やした。一節の追加あたり実に220byteということになり、
想像以上に大きくなった。