Bug with facts that have some of their arguments equal to eachother

Issue #366 resolved
Joachim Jansen created an issue

The attached file has the following interpretation for p:

p = {2,1,1; 2,1,2; 2,1,3; 2,2,2; 2,2,3; 2,2,4;}

Yet the facts in the XSB transformation are the following:

idpxsb_p(2,1).

idpxsb_p(2).

idpxsb_p(2,1,3).

idpxsb_p(2).

idpxsb_p(2,2,3).

idpxsb_p(2,2,4).

Comments (2)

  1. Log in to comment