0.8.4-SNAPSHOT Arrow_down_16x16
  • (lvaro v)
Goal to test whether a logic var is ground. Non-relational.

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:1388 top

(defmacro lvaro
  "Goal to test whether a logic var is ground. Non-relational."
  [v]
  `(fn [a#]
     (if (lvar? (walk a# ~v))
       a# nil)))
Vars in clojure.core.logic/lvaro:
Used in 0 other vars

Comments top

No comments for lvaro. Log in to add a comment.