XSB getFacts should check "builtin" correctly

Issue #468 resolved
Broes De Cat created an issue

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

Comments (4)

  1. 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.

  2. Broes De Cat reporter

    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.

  3. Log in to comment