core.logic

Tabling bug

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None
  • Patch:
    Code
  • Approval:
    Ok

Description

Pepjin pointed out that trying to determine the path on this graph, http://paste.pocoo.org/show/391274/, does not terminate even with tabling.

Activity

Hide
Pepijn de Vos added a comment -

Probably related. The second run also produces 10 items, while it can produce many more, as showed in run 3 by reversing the arguments.

user=> (run 10 [q] (desto "munchen" q))
("wien" "frankfurt" "venezia" "zurich" "warszawa" "zacrab" "berlin" "munchen" "amsterdam" "budapest")
user=> (run 20 [q] (desto "munchen" q))
("wien" "frankfurt" "venezia" "zurich" "warszawa" "zacrab" "berlin" "munchen" "amsterdam" "budapest")
user=> (run 20 [q] (desto q "munchen"))
("frankfurt" "wien" "zurich" "venezia" "marseille" "paris" "barcelona" "berlin" "moskva" "athina" "kharkov" "wilno" "smyrna" "kyiv" "pamplona" "madrid" "lisboa" "warszawa" "rostov" "brindisi")

Show
Pepijn de Vos added a comment - Probably related. The second run also produces 10 items, while it can produce many more, as showed in run 3 by reversing the arguments. user=> (run 10 [q] (desto "munchen" q)) ("wien" "frankfurt" "venezia" "zurich" "warszawa" "zacrab" "berlin" "munchen" "amsterdam" "budapest") user=> (run 20 [q] (desto "munchen" q)) ("wien" "frankfurt" "venezia" "zurich" "warszawa" "zacrab" "berlin" "munchen" "amsterdam" "budapest") user=> (run 20 [q] (desto q "munchen")) ("frankfurt" "wien" "zurich" "venezia" "marseille" "paris" "barcelona" "berlin" "moskva" "athina" "kharkov" "wilno" "smyrna" "kyiv" "pamplona" "madrid" "lisboa" "warszawa" "rostov" "brindisi")

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: