KRR
software
IDP
Issues
Filter by:
All
Open
Advanced search
Search
Issues
(26–32 of 32)
Title
T
P
Status
Votes
Assignee
Version
Created
Updated
Actions
#359: XSB Support for prednames with underscores
XSB
task
major
resolved
Joachim Jansen
2013-02-19
2013-03-04
#365: XSB aggregates do not support anything other than a single predicate as formula
XSB
bug
major
resolved
Joachim Jansen
2013-02-21
2013-03-04
#366: Bug with facts that have some of their arguments equal to eachother
XSB
bug
major
resolved
Joachim Jansen
2013-02-21
2013-03-04
#363: Aggregate bodies transformed incorrectly into prolog
XSB
bug
major
resolved
Joachim Jansen
2013-02-20
2013-03-04
#337: Transformation can't handle identity function
XSB
bug
major
resolved
Joachim Jansen
2013-01-31
2013-03-04
#354: XSB interface cardinality support not working
XSB
bug
major
resolved
Joachim Jansen
2013-02-18
2013-03-04
#338: Instantiated values in heads of definitions cause segfault.
XSB
bug
major
resolved
Joachim Jansen
2013-01-31
2013-03-04
1
2