Michael Kifer writes:
> The following
>
> p(X) :- p(Y).
> ?- p(a).
>
> exits with
> Heap and local stack are clobbered
> Exiting XSB abnormally...
This happened when the rule is asserted, and was caused by a bug in
assert that didn't allow enough of a margin in the test_heap
instruction that it generates. This loop does need heap space, for
the variable Y. I've fixed it, and now it happily runs longer than I
can wait, calling GC thousands of times to reclaim the space for all
those Y's.
-David
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
|
