SWI Prolog - 如何通过命令行参数增加全局堆栈大小

时间:2012-07-06 10:21:50

标签: prolog swi-prolog

我正在尝试执行以下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)

有人可以建议我将此参数添加为参数的正确方法。

感谢。

0 个答案:

没有答案