[Xsb-development] weird bug in XSB

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

Put the following in bug.P 

:- table p/1.
p(_).
?- p(_).

and then load it:

?- [bug].

You get:

++Error: Illegal cut over a tabled predicate: p/1, from within a call to co_code_call/3

Interestingly, if you remove the query ?- p(_), load this thing
and **then** as the same query at the XSB prompt then it won't complain.


Wassup?



	--michael