memory problem when compiling list of lists

[Erick Alphonse]

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