<< Back to previous view

[LOGIC-103] another non-termination case with CLP(FD) Created: 10/Jan/13  Updated: 28/Jul/13  Resolved: 10/Jan/13

Status: Closed
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: David Nolen Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None

(run 2 [q]
  (fresh [a b s p]
    (infd a b (interval 2 99))
    (<=fd b a)
    (+fd a b s)
    (*fd a b p)
    (== q [a b s p])))

It's strange that we don't get the next possibility.

Comment by David Nolen [ 10/Jan/13 5:37 PM ]

fixed, http://github.com/clojure/core.logic/commit/e882be8dce190873431d61aefe89a025ab9c0cb6

Generated at Tue Jan 23 10:30:19 CST 2018 using JIRA 4.4#649-r158309.