Re: Users-prolog Digest, Vol 44, Issue 3

On Thu, 14 Sep 2006 10:02:27 -0600 (MDT)
[email protected] wrote:

> Send Users-prolog mailing list submissions to
> 	[email protected]
> 
> To subscribe or unsubscribe via the World Wide Web, visit
> 	http://lists.gnu.org/mailman/listinfo/users-prolog
> or, via email, send a message with subject or body 'help' to
> 	[email protected]
> 
> You can reach the person managing the list at
> 	[email protected]
> 
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Users-prolog digest..."
> 
> 
> Today's Topics:
> 
>    1. Re: memory problem when compiling list of lists (Erick Alphonse)
> 

This looks like a problem with consult.  Locally if I trim the bug.pl 
to 177 elements the consult can be rerun without memory leakage 
(178 is where it breaks for me).  

Also, I can construct rather larger lists using

const_l(X,[]):-X=0,!.
const_l(X,[[X]|L]):- X_1 is X-1, const_l(X_1,L).

Without memory leakage or failure.  

This is the sort of "bug" that might just constitute a system limitation, 
of some sort, and it would be nice to characterize the scope of it's 
effect.

Dhu





> 
> ----------------------------------------------------------------------
> 
> Message: 1
> Date: Thu, 14 Sep 2006 16:29:27 +0200
> From: Erick Alphonse <[email protected]>
> Subject: Re: memory problem when compiling list of lists
> To: [email protected]
> Message-ID: <[email protected]>
> Content-Type: text/plain; charset="utf-8"
> 
> Hello,
> 
> I often run out of memory when I consult small files with gprolog, even 
> when I set GLOBALSZ to about 500000, which is the maximum I can set 
> under x86-linux.
> 
> I have already reported this bug a couple of months ago. I would like to 
> know if someone stepped into the same kind of problem and if a patch is 
> available. I attach to this email an example file of 6 Kb. I tried it 
> with the latest version of gprolog.
> 
> 1024$ ./gprolog
> GNU Prolog 1.2.19
> By Daniel Diaz
> Copyright (C) 1999-2005 Daniel Diaz
> | ?- ['/tmp/bug.pl'].
> compiling /tmp/bug.pl for byte code...
> 
> Fatal Error: global stack overflow (size: 479000 Kb, environment 
> variable used: GLOBALSZ)
> compilation failed
> 
> no
> | ?-
> 
> Thank your very much for your help and time,
> Best regards.
> 
> Erick
> 
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: bug.pl
> Type: application/x-perl
> Size: 5911 bytes
> Desc: not available
> Url : http://lists.gnu.org/pipermail/users-prolog/attachments/20060914/c60cd5fa/bug.bin
> 
> ------------------------------
> 
> _______________________________________________
> Users-prolog mailing list
> [email protected]
> http://lists.gnu.org/mailman/listinfo/users-prolog
> 
> 
> End of Users-prolog Digest, Vol 44, Issue 3
> *******************************************
>

_______________________________________________
Users-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/users-prolog

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (FreeBSD)

iD8DBQFFUbIrLTWJrqFvCJsRAsZjAJ91+nspUh9T1HeaoBsaDO0ALJB4OwCbB6QF
X71zOwLvB3iWfJYWswvuh/0=
=ZNc8
-----END PGP SIGNATURE-----