XSB getFacts should check "builtin" correctly

[Broes De Cat]

Instead of just checking "builtin" in PrologProgram::getFacts(), the code should effectively verify whether something is used that is also builtin in XSB!

[Joachim Jansen]

There is no straightforward way to ask from a predicate/functor whether it is a built-in operation in XSB.

The thing that comes closest is predicate_property(Pred,built_in), but this does not work for arithmetic operations.

[Broes De Cat]

That is not necessary. It is sufficient to manually make a list of "interesting" builtins in the version of XSB you are using and check for them. The point is that for builtins in IDP for which you do not have such an interesting builtin, you have to manually add the interpretation.

[Joachim Jansen]

Should be fixed in 5236f0e

[Joachim Jansen]

fixed in 5236f0e