在 Swi-prolog 中增加运行时的堆栈大小

【问题标题】：Increase stack size in runtime in Swi-prolog在 Swi-prolog 中增加运行时的堆栈大小
【发布时间】：2021-04-02 18:24:20
【问题描述】：

我在我的代码中使用了set_prolog_flag(stack_limit, 5000000000).。

然后我得到以下错误：

ERROR: No permission to modify static procedure "set_prolog_flag/2"

我好像没有权限修改stack_size。有解决办法吗？

【问题讨论】：

【解决方案1】：

Emolai，您查阅的信息似乎已过时。您需要以这种方式设置堆栈限制：

:- set_prolog_stack(stack, limit(5000000000))。

看到冒号+减号了吗？这表示目标 set_prolog_stack/2 将被执行，而不是定义新的子句 set_prolog_stack/2。这解释了您遇到的错误。

您现在可以出发了。你的问题解决了吗？

【讨论】：