- attached bug_xsb_number_generation.idp
Prolog interface not smart enough to generate 0=<x=<4
Issue #402
resolved
Not as such a formula Not as the definition N(0). N(x) <- N(x-1) & x=<4.
Comments (3)
-
-
reporter The file does not check for the bug. You should increase T to 100000 and notice that it will not end :)
-
- changed status to resolved
When something is written as a comparison chain in IDP, it will be resolved with ranges in XSB.
This comes down to: if the range is expressed as T2 in the attached file, XSB will use ranges as well.
Changes occurred in b72cfec5c788a670dcfbe9f795cc6131106cb3bb
- Log in to comment
The attached file currently works on the branch xsb_fixes. Does the file contain the bug that was intended?