SWI Prolog-如何通过命令行参数增加全局堆栈大小
我正在尝试执行以下Prolog命令来运行柔软解析器 swipl-x supply.swi--o/tmp/supple--OUT--1532979011690236349/tmp/supple--IN--6114638903011376120 它为大型文档抛出全局堆栈错误,如下所示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”选项来增加全局堆栈内存大小。但我无法在
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)