core.logic

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

• Assignee:

  David Nolen

  Reporter:

  David Nolen

• Created:

  10/Jan/13 5:15 PM

  Updated:

  10/Jan/13 5:37 PM

  Resolved:

  10/Jan/13 5:37 PM