krr / IDP / issues / #420 - XSB incorrect for approxdef — Bitbucket

Issue #420 resolved

Joachim Jansen created an issue 2013-04-24

The attached file is handled incorrectly by XSB's transformation

The warning that is given:

Error: InternalIdpException: Error in XSB: ++Error[XSB/Runtime/P]: [Table] Illegal cut over incomplete tabled predicate: idpxsb33_T6x95xcf/0, from within a call to call_c/1

Comments (2)

Joachim Jansen reporter
- attached xsbtest.idp
Uploading smaller file that also shows the problem.

Currently the problem is believed to be with the xsb executable rather than the transformations.
- 2013-04-25T12:58:52+00:00
Joachim Jansen reporter
- changed status to resolved
Problem fixed with new forall implementation in branch approximating_definitions
- 2013-05-08T12:23:39+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: major

Status: resolved

Component: XSB

Version: –

Votes: 0

Watchers: 1

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