Enhancements: - experimental support for Datomic - eqfd now supports - & /
Fixes: - distinctfd goal behaved badly if argument wasn't ground - LOGIC-62: distincto bug reveals much larger issues around how we look up constraints. because vars can be bound in any order and we use vars to map to constraints in the store we need a stable root var. constrained vars are now added as ::unbound in the substitution map. This information is used to determine if a var is a root. - partial map unification and easy unification now support in ClojureScript - LOGIC-61: fix partial map support for CLJS - LOGIC-63: fix simple unification support for CLJS - removed deprecated IPrintable from core.logic CLJS, implemented IPrintWithWriter distinctfdc only needs to watch ::subst http://github.com/clojure/core.logic Feedback welcome, David -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
