Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#171 Tabling gives wrong answer for simple propositional program

wrong answer
closed-fixed
nobody
5
2013-08-07
2009-01-30
No

See the attached program, which has 6 propositional clauses, each using at most one proposition in its body. The bug is exhibited not in version 2.7.1, but in later releases.

The good news is, the most recent CVS snapshot does not show the bug.

Note: changing the order of clauses defining "r" results in the correct answer. Order of clauses defining "q" does not matter.

Discussion

  •  
    Attachments
  • Michael Kifer
    Michael Kifer
    2013-08-07

    • status: open --> closed-fixed