Error from Ergo compiler

[Robert Goldman]

We are seeing a number of errors like this:

++Error[Ergo]>
++Error[Ergo]> A problem occurred while loading a trailer - a possible bug: error(resource_error(interned tries),context(in predicate newtrie/1),[[105553147923216,105553147698160,105553146232672,105553145858112,105553146661552,105553146661840,105553146669040,105553147710848,105553146232672,105553146232672,105553145858112,105553146232672,105553145858112,105553147250368,105553146232672,105553145858112,105553147377728,105553146232672,105553145858112,105553146232672,105553145857344,105553147427984,105553145867328,105553145866032,105553146232672,105553145858112]]))

I suspect this is happening because of something we are doing wrong with the modules, since when I pull down the source code that we are inserting through pyergo, and load it into Ergo myself, there is no error.  And stopping our application and restarting (hence restarting Ergo) appears to fix it.

We're under a lot of time pressure, so can't spend a ton of time finding an MWE. Is there anything you could suggest that we should look for that would lead to this happening?  If you could give any guidance, we will try to set up a test.  So far I have only seen this working through our UI, so I don't have a nice piece of code to show you.

[Michael Kifer]

It sounds like XSB failed to create a new storage trie.  You are probably loading modules in an infinite loop, or, possibly the loop is not infinite but still the number of the new modules is very large.  Each module needs several tries (4-5-6) to store all kinds of data.  So, the number of modules  cannot   probably exceed probably 500 or so. We could increase the number, possibly double or triple, but this will simply make you wait longer until you crash the system.

So, yes, you need to take a look at your  module architecture.

--
You received this message because you are subscribed to the Google Groups "ErgoAI and XSB Users Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-XSB-for...@coherentknowledge.com.
To view this discussion visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-XSB-forum/b9f7e7d2-7241-4616-918c-8444ce7d8f17n%40coherentknowledge.com.

[Theresa Swift]

I agree with Michael. The default maximum number of tries is 2003 (I don't recall why I used that number).  So that would mean you'd get 300-600 modules, very approximately.

If you type xsb --help it describes the many command line options you can used to configure XSB's memory, including the maximum number of tries (--max_tries N).  But I agree with Michael, that it's likely that an unnecessary number of modules are being creating some how.

To view this discussion visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-XSB-forum/ae3b35b5-0a95-4d57-96f3-be1f309f1041%40coherentknowledge.com.