Inefficient definition evaluation, both without AND with xsb

[Broes De Cat]

Should not be so hard to evaluate reasonably efficient. Without xsb, probably the known problem that it grounds it for all head instantiations. @BartBog @jjansen