- changed status to resolved
Bug with facts that have some of their arguments equal to eachother
Issue #366
resolved
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)
-
reporter -
Fixed improper end-of-iterator check in method that lists all facts
This fixes
#366→ <<cset c6ecce776cc4>>
- Log in to comment
Fixed improper end-of-iterator check in method that lists all facts
This fixes
#366→ <<cset 4db0345649c2>>