Re: [Xsb-development] Cascading table abolishes

[<ki...@cs...>]

Hi Terry,

This is great, but seems buggy at this point.

I am getting a truckload of coredumps in flora after this update.
Need time to narrow down, but if you have the flora testsuite then
there are coredumps while running 

general_tests/dyn_pps differ!!!
general_tests/pretty differ!!!

and a few others.


	--michael  


> For those interested in cascading table abolishs (i.e. table
> abolishes that spark other abolishes by following conditional
> answer dependencies), I updated CVS with a first round of changes
> to support this in abolish_table_call and abolish_table_pred.
> Cascading is the default table abolish behavior in XSB but can be
> turned off using an xsb_flag or by using an option list in
> abolish_table_call/2 or abolish_table_pred/2.  Working through
> this also uncovered 2 obscure bugs in table garbage collection,
> so the new routines should be more stable overall than the older
> routines (assuming I fixed more bugs than I added :-)
> 
> This update does not include changes to predicates that abolish
> multiple tabled predicates at once, such as
> abolish_module_tables/1 -- I'll try to get to that update soon.
> 
> Details on the new behavior are in the attached section of the manual.
> 
> Terry
>