memory problem when compiling list of lists

Erick Alphonse <[email protected]>
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
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.

[root@localhost TopComp]# uname -a
Linux localhost 2.4.22-10mdk #1 Thu Sep 18 12:30:58 CEST 2003 i686 
unknown unknown GNU/Linux

[root@localhost 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.

[root@localhost 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
| ?-

[root@localhost TopComp]# export GLOBALSZ=200000

[root@localhost 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
| ?-

[root@localhost 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-prolog mailing list
[email protected]
http://mail.gnu.org/mailman/listinfo/bug-prolog
bug.pl.bz2 (application/octet-stream, 953 B) - not displayed
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.