We're updating the issue view to help you get more done. 

nominal unification misses after-the-fact fd constraints

Description

Related to http://dev.clojure.org/jira/browse/LOGIC-92, these two snippets both return (nom/tie 'a_0 1) instead of three results for 1, 2, 3.

1 2 3 4 5 6 7 8 9 10 11 12 (run* [q] (nom/fresh [a b c] (fresh [x y] (== (nom/tie b (nom/tie a x)) (nom/tie c q)) (infd x (interval 1 3))))) (run* [q] (nom/fresh [a b c] (fresh [x y] (infd y (interval 1 3)) (== (nom/tie b (nom/tie a x)) (nom/tie c q)) (== x y))))

Environment

None

Status

Assignee

David Nolen

Reporter

Nada Amin

Labels

None

Approval

None

Patch

None

Priority

Major