我正在尝试执行以下 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>' 选项来增加全局堆栈内存大小。但是我无法在我已经提到其他选项的上述命令中传递该参数。
当我尝试在上述命令中包含“-G1g”以将全局堆栈大小增加到 1gb 时，例如
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)
有人可以建议我将此参数添加为参数的正确方法。
谢谢。