Simple unification and Partial Maps added to ClojureScript's core.logic

[ohpauleez]

With the changes in this pull request I can correctly replicate the work of Martin's Datomic-like queries and the examples of partial-map found on StackOverlow, the comments, and hints Kevin told me directly.

One oddity is:

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

However, the docs indication is that x should unify and we should see: {:a 1} returned

Thoughts?

[ohpauleez]

Ignore this, I didn't see that core.logic was on JIRA. Submitting the patch there as one squashed commit.