1

所以我在我大学的 bash 服务器上使用 GNU Prolog，我需要增加全局堆栈大小。

我尝试使用以下选项进行编译：

    gprolog --global-size 16384 --init-goal 'consult('test')'

其中 test 只是我为测试而制作的 test.pl 文件。但是，我仍然收到以下异常

    Fatal Error: global stack overflow (size: 8192 Kb, environment variable used: GLOBALSZ)

这表明大小仍然是 8192 Kb。不幸的是，我正在运行 GNU Prolog 版本 1.2.16，因为那是服务器上的内容，我无法轻易更改它。有什么我可以在这里做的吗？

4

1 回答 1

1

尝试： GLOBALSZ=16384 gprolog --init-goal 'consult('test')'

于 2015-05-04T08:15:30.947 回答