[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
memory problem when compiling list of lists
From: |
Erick Alphonse |
Subject: |
memory problem when compiling list of lists |
Date: |
Sat, 06 Dec 2003 13:12:03 +0100 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031015 |
Hello,
The file bug.pl contains a fact declaring a list of lists. When
consulting this file, gprolog (pl2wam) requires a large amount of
memory, and the longer the list, the higher the memory. Consulting a
list of more than 1000 lists requires more than 200Mo. The file is
successfully compiled under eclipse.
address@hidden TopComp]# uname -a
Linux localhost 2.4.22-10mdk #1 Thu Sep 18 12:30:58 CEST 2003 i686
unknown unknown GNU/Linux
address@hidden TopComp]# ./gprolog --version
Prolog top-Level (GNU Prolog) 1.2.17
By Daniel Diaz
Copyright (C) 1999-2003 Daniel Diaz
GNU Prolog comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of GNU Prolog
under the terms of the GNU General Public License.
For more information about these matters, see the files named COPYING.
address@hidden TopComp]# ./gprolog
GNU Prolog 1.2.17
By Daniel Diaz
Copyright (C) 1999-2003 Daniel Diaz
| ?- [bug].
compiling /usr/local/src/gprolog-1.2.17/src/TopComp/bug.pl for byte code...
Fatal Error: global stack overflow (size: 8192 Kb, environment variable
used: GLOBALSZ)
compilation failed
no
| ?-
address@hidden TopComp]# export GLOBALSZ=200000
address@hidden TopComp]# ./gprolog
GNU Prolog 1.2.17
By Daniel Diaz
Copyright (C) 1999-2003 Daniel Diaz
| ?- [bug].
compiling /usr/local/src/gprolog-1.2.17/src/TopComp/bug.pl for byte code...
Fatal Error: global stack overflow (size: 200000 Kb, environment
variable used: GLOBALSZ)
compilation failed
no
| ?-
address@hidden TopComp]# ./gprolog
GNU Prolog 1.2.17
By Daniel Diaz
Copyright (C) 1999-2003 Daniel Diaz
| ?- [bug].
compiling /usr/local/src/gprolog-1.2.17/src/TopComp/bug.pl for byte code...
Prolog interruption (h for help) ? a
execution aborted
Fatal Error: Segmentation Violation
Cheers,
Erick.
bug.pl.bz2
Description: Binary data
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- memory problem when compiling list of lists,
Erick Alphonse <=