0.8.4-SNAPSHOT Arrow_down_16x16



  • (queue-constraint s c vs)

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/unifier.clj:71 top

(defn queue-constraint [s c vs]
    (vector? vs)
    (queue s (unwrap (apply c (map #(lvar % false) vs))))

    (set? vs)
    (reduce (fn [s v] (queue s (unwrap (c (lvar v false))))) s vs)

    (symbol? vs)
    (queue s (unwrap (apply c (map #(lvar % false) (list vs)))))

      (str "Only symbol, set of symbols, or vector of symbols allowed "
           "on left hand side")))))
Vars in clojure.core.logic.unifier/queue-constraint:
Used in 0 other vars

Comments top

No comments for queue-constraint. Log in to add a comment.