[LOGIC-61] partial-map in ClojureScript does not correctly unify map members

Fri, 26 Oct 2012 18:04:59 -0500

In the most recent changes to the core.logic's CLJS support (~~LOGIC-60~~), partial-map does not correctly unify the members within the map:

(m/run* [q]
  (m/fresh [pm x]
    (m/== pm (partial-map {:a x}))
    (m/== pm {:a 1 :b 2})
    (m/== x q))))
=> (1)

but,

(m/run* [q]
  (m/fresh [pm x]
    (m/== pm (partial-map {:a x}))
    (m/== pm {:a 1 :b 2})
    (m/== pm q))))
=> (#PMap{:a <lvar:x_3>})

The latter should unify to {:a 1}

Clojure JIRA

[LOGIC-61] partial-map in ClojureScript does not correctly unify map members