http://dev.clojure.org/jira This file is an XML representation of an issue en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/LOGIC-76 core.logic <p>partial-map should never unify with fresh vars - this should be a hard error. This means partial-map functionality needs to be accessible by some other means - probably a constraint - `featurec` might be a good name for it. This way partial-maps never leak into an actual program, and users don't try to make the concrete data structure participate in unification. At the same time this does allow extracting features of interest via unification once the term (map) being checked actually becomes ground.</p> LOGIC-76

partial-maps break the transitivity of unification

Defect Major Resolved Completed David Nolen David Nolen Fri, 14 Dec 2012 18:49:28 -0600 Fri, 28 Dec 2012 00:42:54 -0600 Fri, 28 Dec 2012 00:42:54 -0600 0 0 <p>resolved in master, functionality now available via `featurec`</p> Global Rank