[#LOGIC-103] another non-termination case with CLP(FD)

[LOGIC-103] another non-termination case with CLP(FD) Created: 10/Jan/13 Updated: 10/Jan/13 Resolved: 10/Jan/13
Status:	Resolved
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:

Labels:

None

Description

(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.

Comments

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

Generated at Tue May 21 18:00:27 CDT 2013 using JIRA 4.4#649-r158309.