Hi
I am trying to use a tool called Boxer which uses swi-prolog 6.6.6. When I try to run Boxer on a large dataset which is about 433k records, I am getting an error (ERROR: Prolog initialisation failed:
ERROR: Out of global stack). It seems I ran out of global stack. Is there a way to increase it? Could you please help me with the same?
Thank you
That’s a very old version of SWI-Prolog … can you switch to a newer version? I would recommend the latest development version – it’s very stable and has bugfixes that aren’t in the “stable” version.
There’s a section in the manual on how to change the stack limit (I have no idea how it applies to older versions).
When I download the Boxer tool, switch-prolog 6.6 will be automatically installed. Sure I will try to replace that with the latest version of swi-prolog. Thank you
If your program uses strings, you might need to set some compatibility flags: double_quotes, back_quotes. See the version notes, e.g.
https://www.swi-prolog.org/news/28588c6c-fee2-11e4-8db3-00163e357fe2
which refers to the section on Adapting code for double quoted strings
Probably the changes for version 8 won’t affect you:
https://www.swi-prolog.org/news/68a9fdaa-17f7-11e9-9f79-00163e986a2a