0.8.4-SNAPSHOT Arrow_down_16x16



  • (force-ans x)

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic.clj:2378 top

(defn force-ans [x]
  (fn [a]
    ((let [v (walk a x)]
       (if (lvar? v)
         (-force-ans (get-dom-fd a x) v)
         (let [x (root-var a x)]
           (if (sequential? v)
             (-force-ans (sort-by-strategy v x a) x)
             (-force-ans v x))))) a)))
Vars in clojure.core.logic/force-ans:
Used in 0 other vars

Comments top

No comments for force-ans. Log in to add a comment.