XSB transformation should use Pieters' query intelligence

For example a rule with as body:

2=4/x

This body is generating for x. Pieter should detect this for the bdds, the same generatability is needed in the transformation to xsb.

For the moment, the user should rewrite the rule himself for xsb to see that it is generatable.

Comments (0)