1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (1–25 of 37)

Title T P Status Votes Assignee Version Created Updated Actions
#936: XSB does not fully check type validity of constructed types
XSB
bug major resolved
#882: partial forward continuation segfault
XSB
bug major closed
#437: XSB support for recursion over negation
XSB
task major resolved
#339: Definitions with negative recursion leads to incorrect Prolog program
XSB
task major duplicate
#635: Approxdef fails
XSB
bug major resolved
#844: Put XSB on as default
XSB
task minor resolved
#672: find a way to correctly "Kill" XSB mid-query execution
XSB
enhancement major new
#780: setting stdoptions.xsb=true gives unsat to sat problem
XSB
bug major resolved
#764: XSB infinite loop
XSB
bug major invalid
#684: "findall" predicates in IDP are translated incorrectly into XSB
XSB
bug major resolved
#678: XSB cannot handle negative integers
XSB
bug major resolved
#655: XSB quotes domainelements
XSB
bug major invalid
#642: XSB Definition evaluation incorrect when a variable ranges over a stricter type
XSB
bug major resolved
#440: XSB support for predicates with same name but different signature
XSB
task major resolved
#376: XSB Support for MIN and MAX functions
XSB
bug major resolved
#384: XSB Support for negative integers
XSB
bug major resolved
#423: XSB support for nested divisions
XSB
bug major resolved
#418: After XSB: add Check whether calculated function is total
XSB
bug major resolved
#439: Splitdefinitions is O(n^3) instead of O(n)
XSB
enhancement minor wontfix
#433: Uninstantiated argument of evaluable function +/2
XSB
bug major resolved
#446: Querying could be done with XSB
XSB
enhancement minor new
#438: XSB (probably) does not like strings
XSB
bug major resolved
#387: Transform equivalences into definitions
XSB
enhancement minor new
#425: Update to new XSB version
XSB
task major resolved
#388: xsb is too slow
XSB
bug major resolved
  2. 1
  3. 2