0.8.4-SNAPSHOT Arrow_down_16x16
  • (emptyo a)
A relation where a is the empty list

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

(defn emptyo
  "A relation where a is the empty list"
  [a]
  (== '() a))
Vars in clojure.core.logic/emptyo:
Used in 0 other vars

Comments top

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