Warning: file_get_contents(/data/phpspider/zhask/data//catemap/8/variables/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
SWI Prolog-如何通过命令行参数增加全局堆栈大小_Prolog_Swi Prolog - Fatal编程技术网

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

SWI Prolog-如何通过命令行参数增加全局堆栈大小,prolog,swi-prolog,Prolog,Swi Prolog,我正在尝试执行以下Prolog命令来运行柔软解析器 swipl-x supply.swi--o/tmp/supple--OUT--1532979011690236349/tmp/supple--IN--6114638903011376120 它为大型文档抛出全局堆栈错误,如下所示 ERROR: Prolog initialisation failed: ERROR: Out of global stack SWI Prolog手册提到,我们可以使用“-G”选项来增加全局堆栈内存大小。但我无法在

我正在尝试执行以下Prolog命令来运行柔软解析器

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

它为大型文档抛出全局堆栈错误,如下所示

ERROR: Prolog initialisation failed: ERROR: Out of global stack
SWI Prolog手册提到,我们可以使用“-G”选项来增加全局堆栈内存大小。但我无法在上面的命令中传递该参数,因为我已经提到了其他选项

当我尝试在上面的命令中包含'-G1g'以将全局堆栈大小增加到1gb时,如

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

我最终会犯这样的错误 错误:补充swi:72: 序言初始化失败: 补充.swi:72:471:语法错误:字符串太长(请参见样式检查/1)

有人能给我建议将这个参数添加为参数的正确方法吗


谢谢。

-x docs建议我在保存解析器时设置全局堆栈大小……嗨,Chac,我是Prolog新手&我无法理解你的建议,请你详细解释一下。我之前的评论似乎与此无关,因为堆栈应该根据你传入的选项设置。也许您可以按照错误消息的建议,尝试设置样式检查,在命令行中添加一个
-g'style\u check(-atom)