When using incremental tabling from C, XSB will exit prematurely. I was able to fix this by copying
:- import lazy_reeval_trap/1 from increval. '_$lazy_reeval_int'(One,_Two):- lazy_reeval_trap(One).
into syslib/ccallxsb.P (from syslib/x_interp.P).
Fixed in version 9258
Log in to post a comment.
Fixed in version 9258