2012-05-15 191 views
0

因此,我正在使用GNU Prolog在我大學的bash服務器上,我需要增加全局堆棧大小。更改全局堆棧大小,GNU Prolog

我試着編譯具有以下選項:

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

其中測試只是我測試了一個test.pl文件。然而,我仍然得到以下例外

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

這表明大小仍然是8192 Kb。不幸的是,我運行的是GNU Prolog 1.2.16版本,因爲這是服務器上的內容,我不能輕易改變它。我能在這裏做什麼嗎?

+0

它說,它用來GLOBALSZ從環境設置堆棧大小,你有沒有嘗試設置呢? – Bill

+0

顯然設置這個選項應該覆蓋環境變量。從gnuprolog手冊:http://www.gprolog.org/manual/html_node/gprolog008.html – BCsorba

回答

0

嘗試: GLOBALSZ = 16384 gprolog --init目標的「協商(」測試「)」