1

次の Prolog コマンドを実行して、SUPPLE パーサーを実行しようとしています。

swipl -x supple.swi -- -o /tmp/SUPPLE--OUT--1532979011690236349 /tmp/SUPPLE--IN--6114638903011376120

以下のように、大きなドキュメントに対して Global Stack エラーが発生します。

ERROR: Prolog initialisation failed: ERROR: Out of global stack

SWI Prolog マニュアルには、「-G<memorysize>」オプションを使用してグローバル スタック メモリ サイズを増やすことができると記載されています。しかし、他のオプションが既に言及されている上記のコマンドでその引数を渡すことができません。

上記のコマンドでグローバルスタックサイズを1GBに増やすために「-G1g」を含めようとしたとき

swipl -G1g -x supple.swi -- -o /tmp/SUPPLE--OUT--1532979011690236349 /tmp/SUPPLE--IN--6114638903011376120

ERROR: supple.swi:72: Prolog initialisation failed: supple.swi:72:471: Syntax error: String too long (see style_check/1) のようなエラーが発生します

このパラメータを引数として追加する正しい方法を教えてください。

ありがとう。

4

0 に答える 0