[Xsb-development] abolish_table_info

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

Michael Kifer writes:
 > Is it possible to make abolish_table_info to provide specific info on
 > which tables predicate caused the error?

I looked at it and it's not possible (at least reasonably) in the
standard configuration.  Abolish_table_info runs the completion stack
to see if there is an uncompleted frame, and xsb_aborts with an error
message if there is.  The problem is that only in debug mode is a
pointer kept from the choice-point (accessible from the completion
stack frame) back to the predicate that created it.

-David