Permalink
Browse files

Improved docstrings for lvaro and nonlvaro. Fixes LOGIC-131.

  • Loading branch information...
1 parent a35c8ee commit cc30fcb4f5690e928fa7103e5091b9de8aba0013 @austinhaas austinhaas committed with swannodette May 7, 2013
Showing with 4 additions and 2 deletions.
  1. +4 −2 src/main/clojure/clojure/core/logic.clj
View
6 src/main/clojure/clojure/core/logic.clj
@@ -1390,14 +1390,16 @@
;; lvar nonlvar
(defmacro lvaro
- "Goal to test whether a logic var is ground. Non-relational."
+ "A goal that succeeds if the argument is fresh. v must be a logic
+ variable. Non-relational."
[v]
`(fn [a#]
(if (lvar? (walk a# ~v))
a# nil)))
(defmacro nonlvaro
- "Goal to test whether a logic var is ground. Non-relational."
+ "A goal that succeeds if the argument is not fresh. v must be a
+ logic variable. Non-relational."
[v]
`(fn [a#]
(if (not (lvar? (walk a# ~v)))

0 comments on commit cc30fcb

Please sign in to comment.