[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
no
| ?-
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...
Cheers
--Jasper
big.pl
Description: Perl program
- Problems with large terms,
Simile support <=