[Xsb-development] Memory fault in compilation

[David W. <wa...@cs...>]

Paul,

I'll look at your bug report when I get a chance.  My feeling is that
it is basically just the size of the file (even though you say you've
compiled larger), but of course I may be wrong.  

In the meantime (and maybe permanently) you could use load_dyn (or
better, load_dync) to load the wordnet file dynamically.  That's what
I do (and I use those files regularly).  I usually want multiple
indexes on those facts, and only dynamic code allows multiple indexes.
And the performance of retrieving from dynanic facts, once they're
asserted is essentially as fast as compiled code (or faster, of
course, if you use an index not available in compiled code.)  The only
benefit of compiled code is that it generally loads faster.  That can
be an issue, of course.

Regards, and thanks for using XSB,
-David