Bug: Issue with gplc failing to compile large (17,000 line) file of facts

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Bug: Issue with gplc failing to compile large (17,000 line) file of facts

Matthew Carter
Hi all,

In a large file (17k lines) of basic facts, such as:

        dep('one', 'two').
        dep('three', 'four').
       
...etc...

gplc fails to compile to an executable with an out of stack space error
(note - there are no predicates in there which should cause an infinite
loop, however there may be circular references in the facts).

The exact file can be viewed here:

https://github.com/ahungry/prolog-package-manager/blob/master/packages.pro

when I attempt to compile via something similar to the following:

        gplc ./packages.pro

I receive an out of GLOBALSZ space error.

Bumping up to

GLOBALSZ=500000 gplc ./packages.pro

Eventually gives a random error message related to invalid syntax in the
file (there are no such syntax errors).

Compiling to byte code works without issue:

        gplc -w ./packages.pro

As well as running this file through gprolog:

        gprolog --consult-file packages

This error does not occur on any other prolog implementation's
compilation technique (works fine on swi-prolog and some others).

Thanks,
-Matt

--
Matthew Carter
[hidden email]

_______________________________________________
Bug-prolog mailing list
[hidden email]
https://lists.gnu.org/mailman/listinfo/bug-prolog
Reply | Threaded
Open this post in threaded view
|

Re: Bug: Issue with gplc failing to compile large (17, 000 line) file of facts

Daniel Diaz-3
Hi Matthew,

thank you for the bug report.

I had to increase the size of internal compiler data. This is present in
the git:

http://sourceforge.net/p/gprolog/code/ci/master/tree/

Daniel


Le 16/09/2013 19:43, Matthew Carter a écrit :

> Hi all,
>
> In a large file (17k lines) of basic facts, such as:
>
> dep('one', 'two').
> dep('three', 'four').
>
> ...etc...
>
> gplc fails to compile to an executable with an out of stack space error
> (note - there are no predicates in there which should cause an infinite
> loop, however there may be circular references in the facts).
>
> The exact file can be viewed here:
>
> https://github.com/ahungry/prolog-package-manager/blob/master/packages.pro
>
> when I attempt to compile via something similar to the following:
>
> gplc ./packages.pro
>
> I receive an out of GLOBALSZ space error.
>
> Bumping up to
>
> GLOBALSZ=500000 gplc ./packages.pro
>
> Eventually gives a random error message related to invalid syntax in the
> file (there are no such syntax errors).
>
> Compiling to byte code works without issue:
>
> gplc -w ./packages.pro
>
> As well as running this file through gprolog:
>
> gprolog --consult-file packages
>
> This error does not occur on any other prolog implementation's
> compilation technique (works fine on swi-prolog and some others).
>
> Thanks,
> -Matt
>


--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.


_______________________________________________
Bug-prolog mailing list
[hidden email]
https://lists.gnu.org/mailman/listinfo/bug-prolog