++Warning[XSB]: [Runtime/C] stack overflow could cause problems for delay lists
indicate? Is it some kind of an infinite loop?
When an answer is copied out of the trie, we check the size of the answer in order to make sure there's enough heap for it: otherwise we do the usual gc + stack realloc if needed. All that is fine, except we don't check the size of any delay lists associated with the answer, so it is possible that the delay lists could overflow the stack.
Thinking about it, it shouldn't be hard to navigate the delay trie to determine the size of the delay list to make things safe. Now that I'm coming up for air (or will be, after ICLP) maybe I can get that done.