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