[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Problems with large terms

From: Simile support
Subject: Problems with large terms
Date: Fri, 07 Feb 2014 12:56:10 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0

I am finding that manipulating terms with large (actually not that large!) numbers of primitives is causing gprolog to run out of stack space, even when it is set very generously. For instance, the attached file just contains B = 9.4+9.4+...+9.4. (total of 1024 values). But I have tried to consult it with the v1.4.3 release and with the very latest unstable version uploaded today, and I get:

$ export GLOBALSZ=524288
$ gprolog
GNU Prolog 1.4.4 (64 bits)
Compiled Feb  7 2014, 12:45:24 with gcc
By Daniel Diaz
Copyright (C) 1999-2014 Daniel Diaz
| ?- consult(big).
compiling /home/jaspert/Test/PrologLimits/big.pl for byte code...
/home/jaspert/Test/PrologLimits/big.pl:1: warning: singleton variables [B] for (=)/2

Fatal Error: global stack overflow (size: 524288 Kb, reached: 524285 Kb, environment variable used: GLOBALSZ)
compilation failed

| ?-
Is this a simple thing to fix? I use Prolog to parse equations entered by my users, and some of them tend to write very long ones...

Attachment: big.pl
Description: Perl program

reply via email to

[Prev in Thread] Current Thread [Next in Thread]