krr / IDP / issues / #681 - XSB not properly handling exponential function — Bitbucket

Issue #681 resolved

Joachim Jansen created an issue 2014-02-18

Attached is a file where XSB calculation of the definitions does not result in the correct answer (an empty interpretation is returned for the defined predicate)

xsbaritherror.idp

Comments (5)

Bart Bogaerts
Does IDP without xsb handle this well?
- 2014-02-18T14:19:11+00:00
Joachim Jansen reporter
As Sean Connery would say: "Yesh."
- 2014-02-18T14:26:47+00:00
Joachim Jansen reporter
- changed status to resolved
Added support for exponentials in XSB

This fixes bug ~~#681~~

→ <<cset 25ba529702ee>>
- 2014-02-18T14:57:12+00:00
Broes De Cat
Added support for exponentials in XSB

This fixes bug ~~#681~~

→ <<cset bd2e00488770>>
- 2014-02-26T11:44:18+00:00
Broes De Cat
Added support for exponentials in XSB

This fixes bug ~~#681~~

→ <<cset cdb7d0620f22>>
- 2014-02-26T12:36:34+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!