#85 abolish_table_call coredump

[Michael Kifer]

Can somebody explain why this dumps core?

:- table meth/1, p/1.
:- import abolish_table_call/1 from tables.

meth(Call) :- abolish_table_call(Call).
p(a).
?- p(X).
?- meth(p(a)).

However, if you first do
?- meth(p(a)).
and then ask the above queries
?- p(X).
?- meth(p(a)).

then it dosnt dump core.