1

そのため、大学の bash サーバーで GNU Prolog を使用しており、グローバル スタック サイズを増やす必要があります。

次のオプションを使用してコンパイルを試みました。

    gprolog --global-size 16384 --init-goal 'consult('test')'

test は、テスト用に作成した単なる test.pl ファイルです。ただし、まだ次の例外が発生します

    Fatal Error: global stack overflow (size: 8192 Kb, environment variable used: GLOBALSZ)

これは、サイズがまだ 8192 Kb であることを示しています。残念ながら、私は GNU Prolog バージョン 1.2.16 を実行しています。それがサーバー上にあり、簡単に変更できないからです。ここで私にできることはありますか?

4

1 に答える 1

1

試してください: GLOBALSZ=16384 gprolog --init-goal 'consult('test')'

于 2015-05-04T08:15:30.947 に答える