我正在尝试执行以下Prolog命令来运行SUPPLE解析器
swipl -x supple.swi - -o / tmp / SUPPLE - OUT - 1532979011690236349 / tmp / SUPPLE - IN - 6114638903011376120
它会抛出大型文档的全局堆栈错误,如下所示。
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
我最终得到的错误就像 错误:supple.swi:72: Prolog初始化失败: supple.swi:72:471:语法错误:字符串太长(参见style_check / 1)
有人可以建议我将此参数添加为参数的正确方法。
感谢。