1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

XSB Bug using function constants

Issue #377 resolved
Joachim Jansen created an issue

Attached file segfaults.

Reason for segfault is most likely the omission of the "/" character when creating a term name - it is possible the whole term naming framework will have to be rewritten.

EDIT: Current segfault seems to come not from the division, but from the useage of the constant q. Attached file is without division but generates the same segfault.

Comments (5)

  3. Broes De Cat

    Probably #376 is a duplicate of this, as MIN and MAX are also just interpreted constants, just like q. Probably, you have to use a term grounder or Bart's replaceme transformation to replace all known symbols with their interpretation.

  5. Joachim Jansen reporter

    Fixed bug that segfaulted when loading XSB facts.

    Added '(' and ')' as "operator" characters.

    Added temporary variable for iterating over open predicates that need to be listed as facts.

    This fixes bug #377

    → <<cset 8eb4dbc94080>>

  6. Log in to comment
Assignee
Type
bug
Priority
major
Status
resolved
Component
XSB
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!