Uploaded image for project: 'core.logic'
  1. LOGIC-98

nominal unification misses after-the-fact fd constraints

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Completed
    • Labels:
      None

      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.

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

        Attachments

          Activity

            People

            • Assignee:
              David Nolen
              Reporter:
              Nada Amin
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: