Details
-
Type:
Defect
-
Status:
Resolved
-
Priority:
Major
-
Resolution: Completed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
Labels:None
-
Patch:None
-
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.
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")