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-108 core.logic LOGIC-108

featurec or something similar to provide recursive partial partial map constraints

Enhancement Major Resolved Completed David Nolen Kevin Downey Thu, 24 Jan 2013 15:57:02 -0600 Sun, 17 Mar 2013 19:50:16 -0500 Sun, 17 Mar 2013 19:50:16 -0500 0 1 <p>Basically, it should be ok for the `fs` argument to a be a nested map.</p> <p>the following seems to be pretty close:</p> <div class="preformatted panel" style="border-width: 1px;"><div class="preformattedContent panelContent"> <pre> (defn rfeaturec [m f] (let [new-f (reduce (fn [m [k v]] (assoc m k (logic/lvar (name k)))) {} (seq f))] (logic/fresh [] (logic/featurec m new-f) (fn [s] (logic/to-stream (for [[k lvar] new-f] ((let [v (get f k)] (if (map? v) (logic/fresh [x] (logic/featurec m {k lvar}) (rfeaturec lvar v)) (logic/== lvar v))) s))))))) </pre> </div></div> <p>the above falls apart quickly under use, the below works well so far:</p> <div class="preformatted panel" style="border-width: 1px;"><div class="preformattedContent panelContent"> <pre>(defn rfeaturec [m f] (let [new-f (reduce (fn [m [k v]] (assoc m k (logic/lvar (name k)))) {} (seq f))] (logic/fresh [] (logic/featurec m new-f) (logic/everyg (fn [[k lvar]] (let [v (get f k)] (if (map? v) (logic/fresh [] (logic/featurec m {k lvar}) (rfeaturec lvar v)) (logic/== lvar v)))) new-f)))) </pre> </div></div> <p>recursive featurec should work by recursively applying constraints like you've done but by using the lower level apis - we don't want to put the search language into a constraint.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/d5eda7d7f89443b449d7955a76e72828561082f6">http://github.com/clojure/core.logic/commit/d5eda7d7f89443b449d7955a76e72828561082f6</a></p> Global Rank