krr / IDP / issues / #337 - Transformation can't handle identity function — Bitbucket

Issue #337 resolved

Joachim Jansen created an issue 2013-01-31

For some reason, the transformation to Prolog rules can't handle the identity function (or predicate).

Running the given code will produce no valid two-valued structure for P1 and P2. Turning off XSB shows the right output.

bug_identity.idp

Comments (7)

Joachim Jansen reporter
- changed component to XSB
- 2013-01-31T14:13:17+00:00
Joachim Jansen reporter
- changed status to resolved
Fixed bug where no domain was created for variables in the head

This fixes bug ~~#337~~

→ <<cset 042462564329>>
- 2013-02-12T10:29:50+00:00
Joachim Jansen reporter
Fixed bug where no domain was created for variables in the head

This fixes bug ~~#337~~

→ <<cset 2f4222d14cd2>>
- 2013-02-12T11:22:13+00:00
Joachim Jansen reporter
Fixed bug where no domain was created for variables in the head

This fixes bug ~~#337~~

→ <<cset db55bfda6515>>
- 2013-02-12T11:40:41+00:00
Joachim Jansen reporter
Fixed bug where no domain was created for variables in the head

This fixes bug ~~#337~~

→ <<cset 4e4835b23447>>
- 2013-02-20T13:20:56+00:00
Joachim Jansen reporter
Fixed bug where no domain was created for variables in the head

This fixes bug ~~#337~~

→ <<cset bc169f59f0da>>
- 2013-02-21T12:50:23+00:00
Broes De Cat
Fixed bug where no domain was created for variables in the head

This fixes bug ~~#337~~

→ <<cset 89fb387695e9>>
- 2013-03-04T11:43:33+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!