Изменение размера глобального стека, GNU Prolog

Итак, я работаю с GNU Prolog на bash-сервере в своем университете, и мне нужно увеличить размер глобального стека.

Пробовал компилировать со следующими параметрами:

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

где test — это просто файл test.pl, который я сделал для тестирования. Тем не менее, я все еще получаю следующее исключение

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

Что указывает на то, что размер по-прежнему составляет 8192 Кб. К сожалению, я использую GNU Prolog версии 1.2.16, так как это то, что находится на сервере, и я не могу легко изменить его. Я могу что-нибудь здесь сделать?


stack global prolog gnu-prolog
person BCsorba    schedule 15.05.2012    source источник
comment
В нем говорится, что он использовал GLOBALSZ для установки размера стека из среды, вы пытались установить это?   -  person Bill    schedule 15.05.2012
comment
По-видимому, установка этой опции должна перезаписывать переменные окружения. Из руководства gnuprolog: gprolog.org/manual/html_node/gprolog008.html   -  person BCsorba    schedule 15.05.2012

Ответы (1)


arrow_upward
0
arrow_downward

Попробуйте: GLOBALSZ=16384 gprolog --init-goal 'consult('test')'

person Maciej Oziębły    schedule 04.05.2015