1. KRR Avatar KRR
  2. software
  3. IDP

Issues

Filter by:

Advanced search

Issues (51–75 of 102)

Title T P Status Votes Assignee Version Created Updated Actions
#653: XSB does not handle ints very well
bug major resolved
#659: approximating definitions generates TRUE/FALSE atoms multiple times
enhancement minor new
#648: Add README instructions on how to update with new version of XSB source code.
task major open
#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
#587: XSB bug
bug major resolved
#456: Approximation bug
bug major resolved
#527: XSB support for MIN and MAX of a type
bug major resolved
#376: XSB Support for MIN and MAX functions
XSB
bug major resolved
#384: XSB Support for negative integers
XSB
bug major resolved
#435: Incomplete Propagating definitions
Propagating definitions
bug major resolved
#432: Propdefs not calculating everything
Propagating definitions
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
#629: xsb refers to version 3.4.0 instead of 3.3.7
bug major resolved
#402: Prolog interface not smart enough to generate 0=<x=<4
bug minor resolved
#603: XSB crashes, possibly on modulo operator
bug major resolved
#439: Splitdefinitions is O(n^3) instead of O(n)
XSB
enhancement minor wontfix
#507: Function totality check when xsb is on
bug major resolved
#433: Uninstantiated argument of evaluable function +/2
XSB
bug major resolved
#244: Deletion issues
bug major resolved
#147: Complete code for generating approximating definitions
enhancement minor resolved
#457: XSB aggregate unnesting bug
bug minor resolved
#461: calculate definitions produces incorrect results
bug major invalid
#446: Querying could be done with XSB
XSB
enhancement minor new
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5